Pages that link to "Item:Q2849494"
From MaRDI portal
The following pages link to Tableaux for Relation-Changing Modal Logics (Q2849494):
Displaying 6 items.
- Tableaux for some modal-tense logics Graham Priest's fashion (Q2144188) (← links)
- Tableau methods for modal and temporal logics (Q2753601) (← links)
- Tableaux for Reasoning about Atomic Updates (Q2996198) (← links)
- A general framework for dynamic epistemic logic: towards canonical correspondences (Q4586222) (← links)
- (Q4724598) (← links)
- (Q5015266) (← links)