Quick completeness proofs for some logics of conditionals

Cited in

(45)

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

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)