Pages that link to "Item:Q2571516"
From MaRDI portal
The following pages link to Path calculus in the modal logic S4 (Q2571516):
Displaying 5 items.
- Loop-free calculus for modal logic S4. I (Q392988) (← links)
- Loop-free calculus for modal logic S4. II (Q392998) (← links)
- Correcting the tableau procedure for S4 (Q761443) (← links)
- One calculus of nonderivable formulas of propositional modal logic (Q1881787) (← links)
- A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4 (Q3126407) (← links)