Hybrid counterfactual logics. David Lewis meets Arthur Prior again

DOI10.1007/S10849-009-9090-0MaRDI QIDQ1047798zbMATH OpenOpenAlexFDO

Authors Katsuhiko Sano

Publication date 6 January 2010

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10849-009-9090-0

zbMATH Keywords

Arthur Priorbisimulationcontextually definite descriptioncounterfactual logicDavid Lewisdecidabilityhybrid logiclimit assumptionpure completenessstrong completeness

Mathematics Subject Classification ID

Combined logics (03B62)

Recommendations

• Proof analysis for Lewis counterfactuals
• A system of proof for Lewis counterfactual
• Counterfactuals
• Updates and counterfactuals
• scientific article; zbMATH DE number 140392

Cites work

• Arthur Prior and hybrid logic
• scientific article; zbMATH DE number 1852914 (Why is no real title available?)
• Hybrid logics with Sahlqvist axioms
• Modal logic
• Nominal tense logic
• Pure extensions, proof rules, and hybrid axiomatics
• Topological perspective on the hybrid proof rules
• Updates and counterfactuals

Cited in

(5)

• Proof analysis for Lewis counterfactuals
• Sequent Systems for Lewis’ Conditional Logics
• Axiomatizing hybrid products of monotone neighborhood frames
• Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
• Interpretation of hybrid counterfactual logic into hybrid tense logic: and comparison of their expressive power on temporal sphere models.

This page was built for publication: Hybrid counterfactual logics. David Lewis meets Arthur Prior again

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