Modal Foundations for Predicate Logic

DOI10.1093/JIGPAL/5.2.259MaRDI QIDQ3126406zbMATH OpenOpenAlexFDO

Authors Johan van Benthem

Publication date 2 June 1997

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/4280ddecb4c94aee284792358fe3c19d372aac63

zbMATH Keywords

decidable sublogicsfirst-order quantifiersmodal logicmodal operatorsmodalitiespolyadic quantifierspredicate logicquantificationssemanticsundecidability

Mathematics Subject Classification ID

Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45)

Cited in

(16)

• The lambda-context calculus (extended version)
• Modal languages and bounded fragments of predicate logic
• Hypersequent and display calculi -- a unified perspective
• Explicating logical independence
• The grammar of quantification and the fine structure of interpretation contexts
• AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS
• A Modal Extension of Weak Generalisation Predicate Logic
• scientific article; zbMATH DE number 3924750 (Why is no real title available?)
• scientific article; zbMATH DE number 3957053 (Why is no real title available?)
• scientific article; zbMATH DE number 92610 (Why is no real title available?)
• scientific article; zbMATH DE number 1303428 (Why is no real title available?)
• scientific article; zbMATH DE number 1028828 (Why is no real title available?)
• Restricted interpolation and lack thereof in stit logic
• On dependence logic
• Local fact change logic
• Agent interpolation in distributed systems

This page was built for publication: Modal Foundations for Predicate Logic

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