scientific article; zbMATH DE number 1303428

MaRDI QIDQ4250037zbMATH OpenFDO

Authors Johan van Benthem

Publication date 28 October 1999

zbMATH Keywords

decidable sublogicsfirst-order quantifiersmodal logicmodal operatorsmodalitiespolyadic quantifierspredicate logicquantificationsemanticsundecidability

Mathematics Subject Classification ID

Classical first-order logic (03B10) Modal logic (including the logic of norms) (03B45)

Recommendations

• Modal Foundations for Predicate Logic
• scientific article; zbMATH DE number 1418444
• The predicate modal logic of provability
• Modal logic and model theory
• scientific article; zbMATH DE number 2101966
• Modal logic
• scientific article; zbMATH DE number 1003731
• scientific article; zbMATH DE number 1749192
• scientific article; zbMATH DE number 1163568
• Modal logic over finite structures

Cited in

(9)

• Modal languages and bounded fragments of predicate logic
• The modality and non-extensionality of the quantifiers
• A Modal Extension of Weak Generalisation Predicate Logic
• scientific article; zbMATH DE number 3957053 (Why is no real title available?)
• scientific article; zbMATH DE number 92610 (Why is no real title available?)
• A Modal Logic for Quantification and Substitution
• scientific article; zbMATH DE number 1028828 (Why is no real title available?)
• On modalities and quantifiers
• scientific article; zbMATH DE number 2121573 (Why is no real title available?)

This page was built for publication:

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