Computational Semantics for Monadic Quantifiers

DOI10.1080/11663081.1998.10510934zbMath0920.03044OpenAlexW2048681440MaRDI QIDQ4236059

Marcin Mostowski

Publication date: 9 September 1999

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.1998.10510934

zbMATH Keywords

surveyfinite automataLindström quantifiersmonadic quantifiers

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Automata and formal grammars in connection with logical questions (03D05) Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13)

Related Items (3)

INTERLEAVING LOGIC AND COUNTING ⋮ Some properties of iterated languages ⋮ Logic and Complexity in Cognitive Science

Cites Work

• Essays in logical semantics
• Application of model theoretic games to discrete linear orders and finite automata

This page was built for publication: Computational Semantics for Monadic Quantifiers