From input/output logics to conditional logics via sequents -- with provers (Q2142070): Difference between revisions

@@ Property / describes a project that uses @@
+NESCOND
@@ Property / describes a project that uses: NESCOND / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VINTE
@@ Property / describes a project that uses: VINTE / 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/978-3-030-86059-2_9
+Normal rank
@@ Property / OpenAlex ID @@
+W3198039780
@@ Property / OpenAlex ID: W3198039780 / rank @@
+Normal rank
@@ Property / cites work @@
+Nested sequent calculi for normal conditional logics
+Normal rank
@@ Property / cites work @@
+lean\(T^ AP\): Lean tableau-based deduction
@@ Property / cites work: lean\(T^ AP\): Lean tableau-based deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5869627
@@ Property / cites work: Q5869627 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent calculi for propositional nonmonotonic logics
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
+Normal rank
@@ Property / cites work @@
+KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning
+Normal rank
@@ Property / cites work @@
+Standard Sequent Calculi for Lewis’ Logics of Counterfactuals
+Normal rank
@@ Property / cites work @@
+VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning, preferential models and cumulative logics
+Normal rank
@@ Property / cites work @@
+Cut Elimination for Shallow Modal Logics
@@ Property / cites work: Cut Elimination for Shallow Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent Systems for Lewis’ Conditional Logics
@@ Property / cites work: Sequent Systems for Lewis’ Conditional Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Modularisation of Sequent Calculi for Normal and Non-normal Modalities
+Normal rank
@@ Property / cites work @@
+Input/output logics
@@ Property / cites work: Input/output logics / rank @@
+Normal rank
@@ Property / cites work @@
+Permission from an input/output perspective
@@ Property / cites work: Permission from an input/output perspective / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ Property / cites work @@
+A Standard Internal Calculus for Lewis’ Counterfactual Logics
+Normal rank
@@ Property / cites work @@
+NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics
+Normal rank
@@ Property / cites work @@
+Q5878382
@@ Property / cites work: Q5878382 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic Basis for Input/Output Logic
@@ Property / cites work: Intuitionistic Basis for Input/Output Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5271383
@@ Property / cites work: Q5271383 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5224917
@@ Property / cites work: Q5224917 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Modal Cut Elimination Applied to Conditional Logics
+Normal rank
@@ Property / cites work @@
+Q3563381
@@ Property / cites work: Q3563381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5878386
@@ Property / cites work: Q5878386 / rank @@
+Normal rank
@@ Property / cites work @@
+Normative Consequence: The Problem of Keeping It Whilst Giving It up
+Normal rank
@@ Property / cites work @@
+On the complexity of input/output logic
@@ Property / cites work: On the complexity of input/output logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank