Propositional quantification in logics of contingency

DOI10.1080/11663081.2016.1184931MaRDI QIDQ4586155zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

announcement whetherarbitrary announcementaxiomatisationcompletenesscontingency logicexpressivity

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(12)

• On propositional quantifiers in provability logic
• Propositional quantification in bimodal S5
• Bimodal logics with contingency and accident
• A sound and complete proof theory for propositional logical contingencies
• Beyond knowing that: a new generation of epistemic logics
• scientific article; zbMATH DE number 4083696 (Why is no real title available?)
• scientific article; zbMATH DE number 1523027 (Why is no real title available?)
• Contingency and knowing whether
• Logics for propositional contingentism
• Axiomatizing Rumsfeld ignorance
• Dynamic epistemic logic for budget-constrained agents
• Knowable as knowing how to inquire

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)