Formula-layered predicate modal logic

DOI10.13328/J.CNKI.JOS.004500MaRDI QIDQ2924426zbMATH OpenFDO

Authors Meiying Sun, Shaobo Deng, Bo Chen, Yuefei Sui, Cungen Cao

Publication date 3 November 2014

Published in Journal of Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.13328/J.CNKI.JOS.004500

zbMATH Keywords

\(\forall\)-propertycompletenesspredicate modal logicsoundnessvarying domain semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 1989658
• Counterpart theory as a semantics for modal logic
• scientific article; zbMATH DE number 1749192
• Incompleteness and the Barcan formula
• Counterpart theories for everyone

Cited in

(4)

• Structured propositions and the logical form of predication
• Hybrid formulas and elementarily generated modal logics
• A nonhybrid logic for crossworld predication
• Identity in modal logic theorem proving

This page was built for publication: Formula-layered predicate modal logic

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