Pages that link to "Item:Q5259659"
From MaRDI portal
The following pages link to Tableau Metatheorem for Modal Logics (Q5259659):
Displayed 4 items.
- On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach (Q5006834) (← links)
- A Method of Defining Paraconsistent Tableaus (Q5241530) (← links)
- Tableau Systems for Epistemic Positional Logics (Q6043001) (← links)
- Tableaux for some deontic logics with the explicit permission operator (Q6200442) (← links)