On a new semantics for first-order predicate logic

DOI10.1007/S10992-017-9429-YzbMath1417.03118DBLPjournals/jphil/AndrekaBN17OpenAlexW2607069434WikidataQ59525197 ScholiaQ59525197MaRDI QIDQ2363414

J. F. A. K. van Benthem, Istvan Németi, Hajnalka Andréka

Publication date: 19 July 2017

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-017-9429-y

zbMATH Keywords

first-order logicdecidabilitygeneralized quantifiergeneralized semantics

Mathematics Subject Classification ID

Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80)

Related Items (2)

Completeness and decidability of general first-order logic (with a detour through the guarded fragment) ⋮ Generalized Quantifiers Meet Modal Neighborhood Semantics

Cites Work

• Unnamed Item
• Modal languages and bounded fragments of predicate logic
• Completeness and decidability of general first-order logic (with a detour through the guarded fragment)
• Changing a Semantics: Opportunism or Courage?
• Decidability of Some Logics with Free Quantifier Variables
• Normal monomodal logics can simulate all others
• ON THE GENERAL INTERPRETATION OF FIRST-ORDER QUANTIFIERS

This page was built for publication: On a new semantics for first-order predicate logic