CONTINGENCY AND KNOWING WHETHER

DOI10.1017/S1755020314000343zbMath1375.03023MaRDI QIDQ5247344

Yanjing Wang, Jie Fan, Hans P. van Ditmarsch

Publication date: 24 April 2015

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

modal logiccontingency logicnoncontingency operator

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation, A Logic of Knowing How, Model theoretical aspects of weakly aggregative modal logic, A unified logic for contingency and accident, BISIMULATIONS FOR KNOWING HOW LOGICS, Neighborhood Contingency Logic, Propositional quantification in logics of contingency, Bimodal logics with contingency and accident, Tableaux for the Logic of Strategically Knowing How, Knowledge-wh and False Belief Sensitivity: A Logical Study (An Extended Abstract), The logic of secrets and the interpolation rule, A working hypothesis for the logic of radical ignorance, Some notes on dyadic contingency, The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames, Axiomatizing Rumsfeld ignorance, A logic of knowing why, Tableau-based decision procedure for logic of knowing-how via simple plans, Free choice in modal inquisitive logic, Unnamed Item, A logic of goal-directed knowing how, Beyond Knowing That: A New Generation of Epistemic Logics, A Road to Ultrafilter Extensions, Modal systems for covering semantics and boundary operator, Planning-based knowing how: a unified approach, A lightweight epistemic logic and its application to planning, Symmetric contingency logic with unlimitedly many modalities, LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE, Bimodal logic with contingency and accident: bisimulation and axiomatizations, A family of neighborhood contingency logics, A logic for disjunctive ignorance, Neighbourhood Contingency Bisimulation, Achieving While Maintaining:, A modal logic of supervenience, Two variants of noncontingency operator, Strong noncontingency: on the modal logics of an operator expressively weaker than necessity, A Non-Standard Kripke Semantics for the Minimal Deontic Logic

Cites Work

• Unnamed Item
• On axiomatizations of public announcement logic
• A completeness proof for a logic with an alternative necessity operator
• A note on logics of ignorance and borders
• Cheating husbands and other stories: A case study of knowledge, action, and communication
• Completeness and definability in the logic of noncontingency
• The modal logic of agreement and noncontingency
• ``Knowing whether, ``knowing that, and the cardinality of state spaces
• The logic of non-contingency
• Minimal non-contingency logic
• Knowing whether A or B
• Comments to `Logics of public communications'
• Logic of Information Flow on Communication Channels
• ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
• A survey of gossiping and broadcasting in communication networks