Propositional quantification in logics of contingency

DOI10.1080/11663081.2016.1184931zbMATH Open1398.03098OpenAlexW2471971739MaRDI QIDQ4586155FDOQ4586155

Authors: Jie Fan, Hans 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

Recommendations

• Contingency and knowing whether
• The logic of non-contingency
• Logics for propositional contingentism
• `Knowable' as `known after an announcement'
• Bimodal logics with contingency and accident

zbMATH Keywords

completenessexpressivityaxiomatisationcontingency logicarbitrary announcementannouncement whether

Mathematics Subject Classification ID

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

Cites Work

• Undecidability for arbitrary public announcement logic
• The secret of my success
• Propositional quantifiers in modal logic1
• Title not available (Why is that?)
• Dynamic logic of preference upgrade
• `Knowable' as `known after an announcement'
• Refinement modal logic
• On axiomatizations of public announcement logic
• Arbitrary action model logic and action model synthesis
• Group announcement logic
• Title not available (Why is that?)
• A logic for ignorance
• Necessity and contingency
• Completeness and definability in the logic of noncontingency
• The logic of non-contingency
• Minimal non-contingency logic
• Axiomatising the logic of computer programming
• A note on logics of ignorance and borders
• Title not available (Why is that?)
• From Situation Calculus to Dynamic Epistemic Logic
• Subset space logic with arbitrary announcements
• Almost necessary
• Contingency and knowing whether
• Putting right the wording and the proof of the truth lemma for \textit{APAL}

Cited In (11)

• Logics for propositional contingentism
• Title not available (Why is that?)
• Beyond knowing that: a new generation of epistemic logics
• Contingency and knowing whether
• Axiomatizing Rumsfeld ignorance
• A sound and complete proof theory for propositional logical contingencies
• On propositional quantifiers in provability logic
• Propositional quantification in bimodal S5
• Bimodal logics with contingency and accident
• Title not available (Why is that?)
• Dynamic epistemic logic for budget-constrained agents

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

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