The following pages link to (Q5411427):
Displayed 11 items.
- The modal logic of Gödel sentences (Q600852) (← links)
- Logic for describing strong belief-disagreement between agents (Q1708099) (← links)
- Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness (Q1982014) (← links)
- Logics for moderate belief-disagreement between agents (Q2001366) (← links)
- Bimodal logic with contingency and accident: bisimulation and axiomatizations (Q2044999) (← links)
- A logic for disjunctive ignorance (Q2056215) (← links)
- Unknown truths and false beliefs: completeness and expressivity results for the neighborhood semantics (Q2115282) (← links)
- A unified logic for contingency and accident (Q2155936) (← links)
- Strong noncontingency: on the modal logics of an operator expressively weaker than necessity (Q2330503) (← links)
- Bimodal logics with contingency and accident (Q2421523) (← links)
- Axiomatizing Rumsfeld ignorance (Q6191137) (← links)