Hybrid counterfactual logics. David Lewis meets Arthur Prior again

DOI10.1007/s10849-009-9090-0zbMath1193.03055OpenAlexW1485829724MaRDI QIDQ1047798

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

decidabilityhybrid logicbisimulationstrong completenesscounterfactual logicArthur PriorDavid Lewispure completenesscontextually definite descriptionlimit assumption

Mathematics Subject Classification ID

Combined logics (03B62)

Related Items (4)

Sequent Systems for Lewis’ Conditional Logics ⋮ Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? ⋮ Axiomatizing Hybrid Products of Monotone Neighborhood Frames ⋮ PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS

Cites Work

• Unnamed Item
• Unnamed Item
• Nominal tense logic
• Arthur Prior and hybrid logic
• Pure extensions, proof rules, and hybrid axiomatics
• Topological Perspective on the Hybrid Proof Rules
• Updates and counterfactuals
• Hybrid logics with Sahlqvist axioms

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