Abstract
The spectra of monadic second-order (MSO) formulas with one unary function is studied. The spectrum of a first-order or second-order formula is the set of the cardinalities of its finite models. A direct proof of the decidability of the finite satisfiability of MSO formulas with one unary function symbol is given.
Original language | English |
---|---|
Pages (from-to) | 291-300 |
Number of pages | 10 |
Journal | Proceedings - Symposium on Logic in Computer Science |
State | Published - 2003 |
Event | 18th Annual IEEE Symposium on Logic in Computer Science - Ottawa, Ont., Canada Duration: 22 Jun 2003 → 25 Jun 2003 |