Refutation systems in modal logic

DOI10.1007/BF01054714zbMath0803.03005MaRDI QIDQ1327486

Valentin F. Goranko

Publication date: 3 January 1995

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

completeness; characterization; deductive systems; Gentzen-style refutation rules; refutation logics

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B22: Abstract deductive systems

Related Items

Rejection in Łukasiewicz’s and Słupecki’s Sense, A Generalisation of a Refutation-related Method in Paraconsistent Logics, Which modal logic is the right one?, Admissibility and refutation: some characterisations of intermediate logics, Syntactic refutations against finite models in modal logic, A Łukasiewicz-style refutation system for the modal logic S4, A refutation theory, Proofs and countermodels in non-classical logics, A meta-logic of inference rules: Syntax, Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview

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