Some Embedding Theorems for Conditional Logic
Journal of Philosophical Logic 35 (6):599-619 (2006)
Abstract
We prove some embedding theorems for classical conditional logic, covering 'finitely cumulative' logics, 'preferential' logics and what we call 'semi-monotonic' logics. Technical tools called 'partial frames' and 'frame morphisms' in the context of neighborhood semantics are used in the proofDOI
10.1007/s10992-005-9021-8
My notes
Similar books and articles
Conserving involution in residuated structures.Ai-ni Hsieh & James G. Raftery - 2007 - Mathematical Logic Quarterly 53 (6):583-609.
Algebras of intervals and a logic of conditional assertions.Peter Milne - 2004 - Journal of Philosophical Logic 33 (5):497-548.
Review: David Makinson, Some Embedding Theorems for Modal Logic. [REVIEW]S. K. Thomason - 1974 - Journal of Symbolic Logic 39 (2):351-351.
Some embedding theorems for modal logic.David Makinson - 1971 - Notre Dame Journal of Formal Logic 12 (2):252-254.
Symmetric and dual paraconsistent logics.Norihiro Kamide & Heinrich Wansing - 2010 - Logic and Logical Philosophy 19 (1-2):7-30.
Two constructive embedding-extension theorems with applications.A. Bauer & A. Simpson - 2004 - Mathematical Logic Quarterly 50 (4):351.
Temporal Gödel-Gentzen and Girard translations.Norihiro Kamide - 2013 - Mathematical Logic Quarterly 59 (1-2):66-83.
Embedding theorems for Boolean algebras and consistency results on ordinal definable sets.Petr Štěpánek & Bohuslav Balcar - 1977 - Journal of Symbolic Logic 42 (1):64-76.
The Quantity and Quality of Continuous Conditional Propositions in Ibn Sina's Logic.Morteza Hosseini - unknown - Kheradnameh Sadra Quarterly 26.
Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability.Andrej Bauer & Alex Simpson - 2004 - Mathematical Logic Quarterly 50 (45):351-369.
Embeddings of Computable Structures.Asher M. Kach, Oscar Levin & Reed Solomon - 2010 - Notre Dame Journal of Formal Logic 51 (1):55-68.
Analytics
Added to PP
2009-01-28
Downloads
77 (#159,450)
6 months
1 (#452,962)
2009-01-28
Downloads
77 (#159,450)
6 months
1 (#452,962)
Historical graph of downloads
References found in this work
Counterfactuals and comparative possibility.David Lewis - 1973 - Journal of Philosophical Logic 2 (4):418-446.
A semantic analysis of conditional logic.Robert C. Stalnaker & Richmond H. Thomason - 1970 - Theoria 36 (1):23-42.
