The following pages link to Refutation systems in modal logic (Q1327486):
Displayed 10 items.
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- 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)
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- A meta-logic of inference rules: Syntax (Q2987742) (← links)
- Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview (Q3537540) (← links)
- Rejection in Łukasiewicz’s and Słupecki’s Sense (Q4611693) (← links)
- A Generalisation of a Refutation-related Method in Paraconsistent Logics (Q4683226) (← links)
- Which modal logic is the right one? (Q5937846) (← links)