Proofs and countermodels in non-classical logics (Q2254557): Difference between revisions

@@ Property / describes a project that uses @@
+Pesca
@@ Property / describes a project that uses: Pesca / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11787-014-0097-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2014812345
@@ Property / OpenAlex ID: W2014812345 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837723
@@ Property / cites work: Q3837723 / rank @@
+Normal rank
@@ Property / cites work @@
+Hypersequent Calculi for Godel Logics -- a Survey
@@ Property / cites work: Hypersequent Calculi for Godel Logics -- a Survey / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction for non-classical logics
@@ Property / cites work: Natural deduction for non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Internalizing labelled deduction
@@ Property / cites work: Internalizing labelled deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus
+Normal rank
@@ Property / cites work @@
+Deep sequent systems for modal logic
@@ Property / cites work: Deep sequent systems for modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+TABLEAUX: A general theorem prover for modal logics
+Normal rank
@@ Property / cites work @@
+Q5688810
@@ Property / cites work: Q5688810 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Logics Between S 4 and S 5
@@ Property / cites work: Modal Logics Between S 4 and S 5 / rank @@
+Normal rank
@@ Property / cites work @@
+Contraction-free sequent calculi for intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Proof analysis in intermediate logics
@@ Property / cites work: Proof analysis in intermediate logics / rank @@
+Normal rank
@@ Property / cites work @@
+A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel–McKinsey–Tarski embedding
+Normal rank
@@ Property / cites work @@
+Propositional lax logic
@@ Property / cites work: Propositional lax logic / rank @@
+Normal rank
@@ Property / cites work @@
+Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models
+Normal rank
@@ Property / cites work @@
+Prefixed tableaus and nested sequents
@@ Property / cites work: Prefixed tableaus and nested sequents / rank @@
+Normal rank
@@ Property / cites work @@
+A general filtration method for modal logics
@@ Property / cites work: A general filtration method for modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4894942
@@ Property / cites work: Q4894942 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent calculi and decidability for intuitionistic hybrid logic
+Normal rank
@@ Property / cites work @@
+Countermodels from Sequent Calculi in Multi-Modal Logics
+Normal rank
@@ Property / cites work @@
+Refutation systems in modal logic
@@ Property / cites work: Refutation systems in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753601
@@ Property / cites work: Q2753601 / rank @@
+Normal rank
@@ Property / cites work @@
+Clausal Tableaux for Multimodal Logics of Belief
@@ Property / cites work: Clausal Tableaux for Multimodal Logics of Belief / rank @@
+Normal rank
@@ Property / cites work @@
+Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic
+Normal rank
@@ Property / cites work @@
+Q5419884
@@ Property / cites work: Q5419884 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about collectively accepted group beliefs
+Normal rank
@@ Property / cites work @@
+Does the deduction theorem fail for modal logic?
@@ Property / cites work: Does the deduction theorem fail for modal logic? / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-free sequent calculi for some tense logics
@@ Property / cites work: Cut-free sequent calculi for some tense logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5843956
@@ Property / cites work: Q5843956 / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+A proof-theoretic study of the correspondence of classical logic and modal logic
+Normal rank
@@ Property / cites work @@
+Q4809045
@@ Property / cites work: Q4809045 / rank @@
+Normal rank
@@ Property / cites work @@
+The Church-Fitch knowability paradox in the light of structural proof theory
+Normal rank
@@ Property / cites work @@
+Single step tableaux for modal logics. Computational properties, complexity and methodology
+Normal rank
@@ Property / cites work @@
+Labeled sequent calculi for modal logics and implicit contractions
+Normal rank
@@ Property / cites work @@
+Indexed systems of sequents and cut-elimination
@@ Property / cites work: Indexed systems of sequents and cut-elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
+Normal rank
@@ Property / cites work @@
+Proof analysis in modal logic
@@ Property / cites work: Proof analysis in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Proof analysis beyond geometric theories: from rule systems to systems of rules
+Normal rank
@@ Property / cites work @@
+Cut Elimination in the Presence of Axioms
@@ Property / cites work: Cut Elimination in the Presence of Axioms / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744125
@@ Property / cites work: Q2744125 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Analysis
@@ Property / cites work: Proof Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Dual tableaux. Foundations, methodology, case studies
+Normal rank
@@ Property / cites work @@
+Q4883282
@@ Property / cites work: Q4883282 / rank @@
+Normal rank
@@ Property / cites work @@
+A PURELY SYNTACTIC AND CUT-FREE SEQUENT CALCULUS FOR THE MODAL LOGIC OF PROVABILITY
+Normal rank
@@ Property / cites work @@
+Gentzen calculi for modal propositional logic
@@ Property / cites work: Gentzen calculi for modal propositional logic / rank @@
+Normal rank
@@ Property / cites work @@
+New Essays on the Knowability Paradox
@@ Property / cites work: New Essays on the Knowability Paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
+Normal rank
@@ Property / cites work @@
+Ein System des Verknüpfenden Schliessens
@@ Property / cites work: Ein System des Verknüpfenden Schliessens / rank @@
+Normal rank
@@ Property / cites work @@
+Q5483015
@@ Property / cites work: Q5483015 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory. 2nd ed
@@ Property / cites work: Proof theory. 2nd ed / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530621
@@ Property / cites work: Q4530621 / rank @@
+Normal rank
@@ Property / cites work @@
+Translation of hypersequents into display sequents
+Normal rank