Guards, bounds, and generalized semantics

DOI10.1007/s10849-005-5786-yzbMath1080.03003MaRDI QIDQ2567341

J. F. A. K. van Benthem

Publication date: 4 October 2005

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-005-5786-y

zbMATH Keywords

satisfiability; fixed-point logic; effective axiomatizability in second-order logic; general assignment models; Guarded Fragment; guarded syntax

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B25: Decidability of theories and sets of sentences

03B20: Subsystems of classical logic (including intuitionistic logic)

Related Items

Logic between Expressivity and Complexity, Toward discourse representation via pregroup grammars, Changing a Semantics: Opportunism or Courage?

Cites Work

• Modal languages and bounded fragments of predicate logic
• Generalized quantifiers and modal logic
• Multi-dimensional modal logic
• Interpolation and definability in guarded fragments
• Pragmatics and intensional logic
• Determiners and logic
• Interpolation for extended modal languages
• Finite algebras of relations are representable on finite sets
• The Range of Modal Logic
• Cylindric-relativised set algebras have strong amalgamation
• On the Restraining Power of Guards
• Tolerance logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item