The following pages link to Refutation systems in modal logic (Q1327486):
Displayed 5 items.
- Syntactic refutations against finite models in modal logic (Q1903134) (← links)
- A Łukasiewicz-style refutation system for the modal logic S4 (Q1908788) (← links)
- A refutation theory (Q1931339) (← links)
- Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview (Q3537540) (← links)
- Which modal logic is the right one? (Q5937846) (← links)