Pages that link to "Item:Q1005938"

The following pages link to The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G. (Q1005938):

Displayed 7 items.

• Socratic trees (Q383562) ‎ (← links)
• Dual erotetic calculi and the minimal \(\mathsf{LFI}\) (Q897482) ‎ (← links)
• The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G. (Q1005938) ‎ (← links)
• A loop-free decision procedure for modal propositional logics K4, S4 and S5 (Q2271187) ‎ (← links)
• Rasiowa-Sikorski deduction systems with the rule of cut: a case study (Q2422312) ‎ (← links)
• Generating cooperative question-responses by means of erotetic search scenarios (Q2987728) ‎ (← links)
• Automated Generation of Erotetic Search Scenarios (Q5278206) ‎ (← links)