Pages that link to "Item:Q2271187"
From MaRDI portal
The following pages link to A loop-free decision procedure for modal propositional logics K4, S4 and S5 (Q2271187):
Displaying 6 items.
- Socratic trees (Q383562) (← links)
- Loop-free calculus for modal logic S4. I (Q392988) (← links)
- Loop-free calculus for modal logic S4. II (Q392998) (← links)
- The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G. (Q1005938) (← links)
- An axiomatic account of question evocation: the propositional case (Q2422531) (← links)
- Answering by Means of Questions in View of Inferential Erotetic Logic (Q3295794) (← links)
