Publication:4395553
From MaRDI portal
zbMath0904.03024MaRDI QIDQ4395553
Marcin Mostowski, Michał Krynicki
Publication date: 19 January 1999
quantifier; finite model theory; linguistics; abstract model theory; Lindström quantifier; model-theoretic logic
03B65: Logic of natural languages
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03C80: Logic with extra quantifiers and operators
03C13: Model theory of finite structures
68Q99: Theory of computing
03C95: Abstract model theory