11 search results - page 3 / 3 » The Boundedness Problem for Monadic Universal First-Order Lo... |
114
Voted
APAL
2002
15 years 3 months ago
2002
The paper introduces a semantics for the language of classical first order logic supplemented with the additional operators and . This semantics understands formulas as tasks. An ...