Propositional quantification in logics of contingency

DOI10.1080/11663081.2016.1184931zbMath1398.03098OpenAlexW2471971739MaRDI QIDQ4586155

Jie Fan, Hans P. van Ditmarsch

Publication date: 12 September 2018

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2016.1184931

zbMATH Keywords

completenessexpressivityaxiomatisationcontingency logicarbitrary announcementannouncement whether

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

Related Items (3)

Bimodal logics with contingency and accident ⋮ Axiomatizing Rumsfeld ignorance ⋮ Beyond Knowing That: A New Generation of Epistemic Logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Refinement modal logic
• On axiomatizations of public announcement logic
• The secret of my success
• Group announcement logic
• A note on logics of ignorance and borders
• Necessity and contingency
• Axiomatising the logic of computer programming
• Completeness and definability in the logic of noncontingency
• The logic of non-contingency
• Minimal non-contingency logic
• Subset Space Logic with Arbitrary Announcements
• From Situation Calculus to Dynamic Epistemic Logic
• ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
• Dynamic logic of preference upgrade
• Propositional quantifiers in modal logic1
• Putting right the wording and the proof of the Truth Lemma forAPAL
• CONTINGENCY AND KNOWING WHETHER
• Arbitrary Action Model Logic and Action Model Synthesis

This page was built for publication: Propositional quantification in logics of contingency