Contingency and knowing whether
From MaRDI portal
Recommendations
Cites work
- ``Knowing whether, ``knowing that, and the cardinality of state spaces
- `Knowable' as `known after an announcement'
- A completeness proof for a logic with an alternative necessity operator
- A note on logics of ignorance and borders
- A survey of gossiping and broadcasting in communication networks
- Cheating husbands and other stories: A case study of knowledge, action, and communication
- Comments to `Logics of public communications'
- Completeness and definability in the logic of noncontingency
- scientific article; zbMATH DE number 1820675 (Why is no real title available?)
- Knowing whether A or B
- Logic of information flow on communication channels
- Minimal non-contingency logic
- On axiomatizations of public announcement logic
- The logic of non-contingency
- The modal logic of agreement and noncontingency
Cited in
(57)- Bimodal logic with contingency and accident: bisimulation and axiomatizations
- A logic for disjunctive ignorance
- Two variants of noncontingency operator
- Possibility and dyadic contingency
- Model theoretical aspects of weakly aggregative modal logic
- A unified logic for contingency and accident
- A logic of goal-directed knowing how
- 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
- A family of neighborhood contingency logics
- A modal logic of supervenience
- Strong noncontingency: on the modal logics of an operator expressively weaker than necessity
- Bimodal logics with contingency and accident
- A logic of knowing why
- Tableau-based decision procedure for logic of knowing-how via simple plans
- Free choice in modal inquisitive logic
- Neighborhood contingency logic
- Beyond knowing that: a new generation of epistemic logics
- A road to ultrafilter extensions
- A new modal framework for epistemic logic
- A poor man's epistemic logic based on propositional assignment and higher-order observation
- A Logic of Knowing How
- Propositional quantification in logics of contingency
- Almost necessary
- Logics for propositional determinacy and independence
- A non-standard Kripke semantics for the minimal deontic logic
- BISIMULATIONS FOR KNOWING HOW LOGICS
- Neighbourhood Contingency Bisimulation
- Achieving while maintaining: a logic of knowing how with intermediate constraints
- 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 study of modal logic with semantics based on rough set theory
- How easy it is to know how: an upper bound for the satisfiability problem
- Logics of true belief
- On the factivity problem of epistemic contextualism
- Efficient reasoning about knowledge and common knowledge
- Non-contingency in a paraconsistent setting
- Uncertainty-based semantics for multi-agent knowing how logics
- On the axiomatization of an unawareness structure from knowing-whether operators
- A uniform approach to axiomatizing bundled operators
- A formal study of a rough set model integrating relational and neighbourhood system approaches
- An egocentric logic of knowing how to tell them apart
- A semantics for modal language using a rough set model based on subset approximation structure
- Logics of false belief and reliable belief
- Uncertainty-based knowing how logic
- A logical formalisation of false belief tasks
- Nested sequent calculi for some modal logics with non-standard modalities
- A semantics of the basic modal language based on a generalized rough set model
- Knowledge and ignorance in Belnap-Dunn logic
- A logic of temporal contingency
This page was built for publication: Contingency and knowing whether
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5247344)
