scientific article; zbMATH DE number 2196597

MaRDI QIDQ5465447zbMATH OpenFDO

Authors Yutaka Miyazaki

Publication date 22 August 2005

zbMATH Keywords

binary logicsembeddings of logicsnormal modal logicsorthologics

Mathematics Subject Classification ID

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

Recommendations

• Normal modal logics containing KTB with some finiteness conditions
• Embeddings of propositional monomodal logics
• A splitting logic in NExt(KTB)
• On the existence of a continuum of logics in \(\mathrm{NEXT}(\mathrm{KTB}\oplus \square^2p \to \square^3p)\)
• On non-compact logics in NEXT(KTB)

Cited in

(6)

• scientific article; zbMATH DE number 1615232 (Why is no real title available?)
• Cognitive Binary Logic - The Natural Unified Formal Theory of Propositional Binary Logic
• Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference
• A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions
• scientific article; zbMATH DE number 7599931 (Why is no real title available?)
• Binary modal logic and unary modal logic

This page was built for publication:

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