Some embedding theorems for conditional logic

DOI10.1007/S10992-005-9021-8zbMATH Open1108.03037OpenAlexW1964120858MaRDI QIDQ853813FDOQ853813

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

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

zbMATH Keywords

modal logicnonmonotonic logicsublogic relation

Mathematics Subject Classification ID

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

Cites Work

• Intensional logics without iterative axioms
• Semantic analysis of tense logics
• Title not available (Why is that?)
• Conditional logics of normality: A modal approach
• Title not available (Why is that?)
• Basic conditional logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Counterfactuals and comparative possibility
• A modal logic for subjective default reasoning
• A semantic analysis of conditional logic1
• Title not available (Why is that?)
• Post completeness in modal logic
• Completeness and decidability of three logics of counterfactual conditionals¹
• Logics containing K4. Part I
• A first-order conditional logic for prototypical properties

Cited In (5)

• Embedding and automating conditional logics in classical higher-order logic
• Basic intuitionistic conditional logic
• Cut-elimination for quantified conditional logic
• Nice embedding in classical logic
• Title not available (Why is that?)

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)