Modal Expressivity and Definability over Sets

DOI10.1007/978-3-642-04893-7_30MaRDI QIDQ3655242zbMATH OpenOpenAlexFDO

Authors Jing Shi

Publication date 7 January 2010

Published in Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04893-7_30

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Nonclassical and second-order set theories (03E70)

Recommendations

• scientific article; zbMATH DE number 3878898
• Intuitionistic modal logic and set theory
• Modal sequents and definability
• Towards a generalization of modal definability
• Toward a modal-structural interpretation of set theory
• scientific article; zbMATH DE number 1499093
• scientific article; zbMATH DE number 7123533
• Exemplaric Expressivity of Modal Logics
• Notes on modal definability
• Modal logic over finite structures

Cited in

(7)

• A theory of hypermodal logics: Mode shifting in modal logic
• Some Results and Problems in The Modal Set Theory MST
• The iterative conception of set. A (bi-)modal axiomatisation
• scientific article; zbMATH DE number 1500665 (Why is no real title available?)
• scientific article; zbMATH DE number 7123533 (Why is no real title available?)
• Partitioning Kripke frames of finite height
• scientific article; zbMATH DE number 7713503 (Why is no real title available?)

This page was built for publication: Modal Expressivity and Definability over Sets

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