The following pages link to (Q3466592):
Displaying 6 items.
- Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness (Q1982014) (← links)
- Two variants of noncontingency operator (Q2075274) (← links)
- Unknown truths and false beliefs: completeness and expressivity results for the neighborhood semantics (Q2115282) (← links)
- Bimodal logics with contingency and accident (Q2421523) (← links)
- Cluster expansion and the boxdot conjecture (Q2958221) (← links)
- Logics of true belief (Q6564677) (← links)