Pages that link to "Item:Q677080"
From MaRDI portal
The following pages link to A completeness proof for a logic with an alternative necessity operator (Q677080):
Displayed 5 items.
- The modal logic of agreement and noncontingency (Q1430999) (← links)
- Beyond Knowing That: A New Generation of Epistemic Logics (Q3299590) (← links)
- A hierarchy of modal logics with relative accessibility relations (Q4531580) (← links)
- LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE (Q4961740) (← links)
- CONTINGENCY AND KNOWING WHETHER (Q5247344) (← links)