The following pages link to Refutation systems in modal logic (Q1327486):
Displaying 19 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)
- Validities, antivalidities and contingencies: a multi-standard approach (Q2078977) (← links)
- Sequent-calculi for metainferential logics (Q2118968) (← links)
- Paraconsistency in classical logic (Q2219139) (← links)
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- B-frame duality (Q2689804) (← links)
- A meta-logic of inference rules: Syntax (Q2987742) (← links)
- FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC (Q3389493) (← 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)
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)
- Abduction as deductive saturation: a proof-theoretic inquiry (Q6145029) (← links)
- Complementary proof nets for classical logic (Q6146288) (← links)
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5 (Q6169323) (← links)
