Pages that link to "Item:Q3406695"
From MaRDI portal
The following pages link to A New Method to Obtain Termination in Backward Proof Search for Modal Logic S4 (Q3406695):
Displaying 5 items.
- Loop-free calculus for modal logic S4. I (Q392988) (← links)
- Correcting the tableau procedure for S4 (Q761443) (← links)
- A new variant of the Gödel-Malcev theorem for the classical propositional calculus and correction to my paper: ``The connective of necessity of modal logic \(S_ 5\) is metalogical'' (Q1097869) (← links)
- Correction to: ``Local is best: efficient reductions to modal logic \textsf{K}'' (Q2102952) (← links)
- A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4 (Q3406694) (← links)
