Completeness and correspondence in Chellas-Segerberg semantics

DOI10.1007/s11225-013-9504-5zbMath1359.03019OpenAlexW2022908764MaRDI QIDQ742554

Gerhard Schurz, Matthias Unterhuber

Publication date: 18 September 2014

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-013-9504-5

zbMATH Keywords

correspondenceconditional logicChellas-Segerberg semanticsnon-trivial frame conditionstandard Segerberg frame completeness

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Related Items (5)

<scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT ⋮ Logic and probability: reasoning in uncertain environments -- introduction to the special issue ⋮ Conditional random quantities and compounds of conditionals ⋮ A utility based evaluation of logico-probabilistic systems ⋮ Connexive Conditional Logic. Part I

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notes on conditional logic
• A primer on rational consequence relations, Popper functions, and their ranked structures
• A utility based evaluation of logico-probabilistic systems
• On the logic of high probability
• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• Basic conditional logic
• Probabilistic semantics for Delgrande's conditional logic and a counterexample to his default logic
• Many-dimensional modal logics: theory and applications
• Non-monotonic reasoning from an evolution-theoretic perspective: Ontic, logical and cognitive foundations
• Coherence and nonmonotonicity in human reasoning
• REWARD VERSUS RISK IN UNCERTAIN INFERENCE: THEOREMS AND SIMULATIONS

This page was built for publication: Completeness and correspondence in Chellas-Segerberg semantics