Quick completeness proofs for some logics of conditionals

Cited in

(45)

Nonmonotonic reasoning, preferential models and cumulative logics
On first-order conditional logics
Modeling belief in dynamic systems. I: Foundations
Possibilistic reasoning -- a mini-survey and uniform semantics
Constructive agents
Dynamic interactive epistemology
Implicit and explicit stances in logic
Dynamic logic of legal competences
Reasoning about general preference relations
A discrete duality between nonmonotonic consequence relations and convex geometries
Reasoning about evidence
In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals
Indicative conditionals, restricted quantification, and naive truth
Logics of belief over weighted structures
Iterated descriptor revision and the logic of Ramsey test conditionals
Paraconsistent or paracomplete?
A sequent calculus for preferential conditional logic based on neighbourhood semantics
From onions to broccoli: generalizing Lewis' counterfactual logic
Winter meeting of the Association for Symbolic Logic, San Antonio, 1993
Antirealism and the conditional fallacy: the semantic approach
From causal models to counterfactual structures
Probabilistic Modeling of Default Reasoning
DIFFERENCE-MAKING CONDITIONALS AND THE RELEVANT RAMSEY TEST
A game semantics for system P
Completeness for counter-doxa conditionals -- using ranking semantics
Dynamic Epistemic Logic as a Substructural Logic
An argument for conjunction conditionalization
Notes on conditional logic
CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE
The implicative conditional
A logical theory for conditional weak ontic necessity based on context update
On some weakened forms of transitivity in the logic of conditional obligation
Many-valued coalgebraic modal logic: one-step completeness and finite model property
On the proof-theoretic structure of counterfactual inference
The algebras of Lewis's counterfactuals: duality theory
A proof-theoretic view of basic intuitionistic conditional logic
A significance-based account of \textit{ceteris paribus} counterfactuals
GL-based calculi for PCL and its deontic cousin
Conditionals, support and connexivity
Consequential implication and the implicative conditional
Between burgess and Lewis. II: Semantics without rational monotonicity
Between burgess and Lewis. I: Logics without rational monotonicity
Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics
Sequents vs hypersequents for Åqvist systems
The logics of normality structures

This page was built for publication: Quick completeness proofs for some logics of conditionals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q754178)