Guards, bounds, and generalized semantics

DOI10.1007/S10849-005-5786-YMaRDI QIDQ2567341zbMATH OpenOpenAlexFDO

Authors Johan 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

effective axiomatizability in second-order logicfixed-point logicgeneral assignment modelsGuarded Fragmentguarded syntaxsatisfiability

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45)

Recommendations

• On the Restraining Power of Guards
• Guarded negation
• Guarded negation
• scientific article; zbMATH DE number 1341606
• Computer Science Logic

Cites work

• Cylindric-relativised set algebras have strong amalgamation
• Determiners and logic
• Finite algebras of relations are representable on finite sets
• Generalized quantifiers and modal logic
• scientific article; zbMATH DE number 986406 (Why is no real title available?)
• scientific article; zbMATH DE number 1341606 (Why is no real title available?)
• scientific article; zbMATH DE number 1735873 (Why is no real title available?)
• scientific article; zbMATH DE number 1047510 (Why is no real title available?)
• scientific article; zbMATH DE number 1047511 (Why is no real title available?)
• scientific article; zbMATH DE number 868092 (Why is no real title available?)
• scientific article; zbMATH DE number 1405456 (Why is no real title available?)
• scientific article; zbMATH DE number 3259043 (Why is no real title available?)
• Interpolation and definability in guarded fragments
• Interpolation for extended modal languages
• Modal languages and bounded fragments of predicate logic
• Multi-dimensional modal logic
• On the Restraining Power of Guards
• Pragmatics and intensional logic
• The Range of Modal Logic
• Tolerance logic

Cited in

(15)

• Toward discourse representation via pregroup grammars
• Guarded quantification in least fixed point logic
• A model of guarded recursion via generalised equilogical spaces
• A simple logic of functional dependence
• Completeness and decidability of general first-order logic (with a detour through the guarded fragment)
• Guarded fragments with constants
• scientific article; zbMATH DE number 6215728 (Why is no real title available?)
• Changing a Semantics: Opportunism or Courage?
• scientific article; zbMATH DE number 4106262 (Why is no real title available?)
• scientific article; zbMATH DE number 1254010 (Why is no real title available?)
• SOME MODEL THEORY OF GUARDED NEGATION
• On the Restraining Power of Guards
• Logic between expressivity and complexity
• Foundations of Information and Knowledge Systems
• INTERLEAVING LOGIC AND COUNTING

This page was built for publication: Guards, bounds, and generalized semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2567341)