A Modal Extension of Weak Generalisation Predicate Logic

DOI10.1093/JIGPAL/JZL025MaRDI QIDQ3433107zbMATH OpenOpenAlexFDO

Authors Francisco Kibedi, George Tourlakis

Publication date 19 April 2007

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

Full work available at URL https://doi.org/10.1093/jigpal/jzl025

zbMATH Keywords

classical first-order logicfirst-order modal logicKripke modelsprovabilitysemantics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4135914
• A generalized notion of weak interpretability and the corresponding modal logic
• Model theoretical aspects of weakly aggregative modal logic
• Modal Foundations for Predicate Logic
• scientific article; zbMATH DE number 1303428
• Interpretations of weak positive modal logics
• scientific article; zbMATH DE number 140385
• Weakly aggregative modal logic: characterization and interpolation
• scientific article; zbMATH DE number 1252393
• Generalized quantifiers and modal logic

Cited in

(7)

• A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs
• scientific article; zbMATH DE number 5295715 (Why is no real title available?)
• scientific article; zbMATH DE number 2097565 (Why is no real title available?)
• An Arithmetically Complete Predicate Modal Logic
• On the proof-theory of two formalisations of modal first-order logic
• Informal provability, first-order BAT logic and first steps towards a formal theory of informal provability
• Weakly expressive models for Hoare logic

This page was built for publication: A Modal Extension of Weak Generalisation Predicate Logic

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