Some embedding theorems for conditional logic

DOI10.1007/S10992-005-9021-8MaRDI QIDQ853813zbMATH OpenOpenAlexFDO

Authors N. E. Zubov

Publication date 17 November 2006

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-005-9021-8

zbMATH Keywords

modal logicnonmonotonic logicsublogic relation

Mathematics Subject Classification ID

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

Recommendations

• Embedding and automating conditional logics in classical higher-order logic
• Embeddings of propositional monomodal logics
• Nice embedding in classical logic
• Cut-elimination for quantified conditional logic
• Basic intuitionistic conditional logic

Cites work

• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3708349 (Why is no real title available?)
• scientific article; zbMATH DE number 3461905 (Why is no real title available?)
• scientific article; zbMATH DE number 549965 (Why is no real title available?)
• scientific article; zbMATH DE number 1028830 (Why is no real title available?)
• A first-order conditional logic for prototypical properties
• A modal logic for subjective default reasoning
• A semantic analysis of conditional logic1
• Basic conditional logic
• Completeness and decidability of three logics of counterfactual conditionals¹
• Conditional logics of normality: A modal approach
• Counterfactuals and comparative possibility
• Intensional logics without iterative axioms
• Logics containing K4. Part I
• Post completeness in modal logic
• Semantic analysis of tense logics

Cited in

(5)

• Cut-elimination for quantified conditional logic
• Embedding and automating conditional logics in classical higher-order logic
• scientific article; zbMATH DE number 3993544 (Why is no real title available?)
• Basic intuitionistic conditional logic
• Nice embedding in classical logic

This page was built for publication: Some embedding theorems for conditional logic

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