Theorem proving for conditional logics: CondLean and GOALDUCK (Q3643366): Difference between revisions

@@ Property / describes a project that uses @@
+leanTAP
@@ Property / describes a project that uses: leanTAP / 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.3166/jancl.18.427-473
+Normal rank
@@ Property / OpenAlex ID @@
+W2075938707
@@ Property / OpenAlex ID: W2075938707 / rank @@
+Normal rank
@@ Property / cites work @@
+Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
+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 @@
+Basic conditional logic
@@ Property / cites work: Basic conditional logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics <i>VC</i> and <i>VCS</i>
+Normal rank
@@ Property / cites work @@
+A first-order conditional logic for prototypical properties
+Normal rank
@@ Property / cites work @@
+A general approach for determining the validity of commonsense assertions using conditional logics
+Normal rank
@@ Property / cites work @@
+lean TAP revisited
@@ Property / cites work: lean TAP revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Plausibility measures and default reasoning
@@ Property / cites work: Plausibility measures and default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4894942
@@ Property / cites work: Q4894942 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional reasoning in logic programming
@@ Property / cites work: Conditional reasoning in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Goal-directed proof theory
@@ Property / cites work: Goal-directed proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+A sequent- or tableau-style system for Lewis's counterfactual logic VC
+Normal rank
@@ Property / cites work @@
+Iterated belief revision and conditional logic
@@ Property / cites work: Iterated belief revision and conditional logic / rank @@
+Normal rank
@@ Property / cites work @@
+Weak AGM postulates and strong Ramsey test: A logical formalization
+Normal rank
@@ Property / cites work @@
+Conditional logic of actions and causation
@@ Property / cites work: Conditional logic of actions and causation / rank @@
+Normal rank
@@ Property / cites work @@
+Updates and counterfactuals
@@ Property / cites work: Updates and counterfactuals / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning, preferential models and cumulative logics
+Normal rank
@@ Property / cites work @@
+Uniform proofs as a foundation for logic programming
+Normal rank
@@ Property / cites work @@
+Q2753603
@@ Property / cites work: Q2753603 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated reasoning with analytic tableaux and related methods. 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3--6, 2007. Proceedings.
+Normal rank

Theorem proving for conditional logics: CondLean and GOALD<i>U</i>CK (Q3643366): Difference between revisions

Latest revision as of 04:26, 2 July 2024

Statements

Sitelinks

Mathematics(1 entry)