On a Boolean-valued model for modal propositional systems

MaRDI QIDQ2748855zbMATH OpenFDO

Authors Na Li

Publication date 7 March 2002

Published in Journal of Nanjing University. Mathematical Biquarterly (Search for Journal in Brave)

zbMATH Keywords

Boolean valueBoolean-valued modelmodal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• scientific article; zbMATH DE number 2201384
• scientific article; zbMATH DE number 4116498
• Many-Valued Modal Propositional Calculi
• scientific article; zbMATH DE number 218546
• scientific article; zbMATH DE number 1383062

Cited in

(8)

• The Boolean-valued model of the axiom system of GB
• The Boolean-valued model of the conglomerate axiom system ACG
• Boolean theory in the propositional logic system \(\mathcal{L}^*\)
• Boolean valued models and incomplete specifications
• scientific article; zbMATH DE number 1383062 (Why is no real title available?)
• scientific article; zbMATH DE number 2201384 (Why is no real title available?)
• Theory and Applications of Satisfiability Testing
• scientific article; zbMATH DE number 3313432 (Why is no real title available?)

This page was built for publication: On a Boolean-valued model for modal propositional systems

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