Refutation systems in modal logic
From MaRDI portal
Publication:1327486
DOI10.1007/BF01054714zbMath0803.03005MaRDI QIDQ1327486
Publication date: 3 January 1995
Published in: Studia Logica (Search for Journal in Brave)
Related Items
Syntactic refutations against finite models in modal logic ⋮ A Łukasiewicz-style refutation system for the modal logic S4 ⋮ A refutation theory ⋮ Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ Sequent-type rejection systems for finite-valued non-deterministic logics ⋮ Abduction as deductive saturation: a proof-theoretic inquiry ⋮ Complementary proof nets for classical logic ⋮ Falsification-aware calculi and semantics for normal modal logics including S4 and S5 ⋮ B-frame duality ⋮ Rejection in Łukasiewicz’s and Słupecki’s Sense ⋮ Paraconsistency in classical logic ⋮ Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview ⋮ A meta-logic of inference rules: Syntax ⋮ Admissibility and refutation: some characterisations of intermediate logics ⋮ Proofs and countermodels in non-classical logics ⋮ Which modal logic is the right one? ⋮ A Generalisation of a Refutation-related Method in Paraconsistent Logics ⋮ FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC ⋮ Validities, antivalidities and contingencies: a multi-standard approach ⋮ Sequent-calculi for metainferential logics
Cites Work
- The method of axiomatic rejection for the intuitionistic propositional logic
- On decision procedures for sentential logics
- Proof of L-decidability of Lewis system S5
- On proofs of rejection
- Theory of rejected propositions. I
- Aristotle's syllogistic from the standpoint of modern formal logic
- Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item