scientific article; zbMATH DE number 6863647

MaRDI QIDQ4636037zbMATH OpenFDO

Authors Denisa Diaconescu, George Metcalfe, Laura Schnüriger

Publication date 23 April 2018

zbMATH Keywords

many-valued logicsmodal logicsabelian logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Recommendations

• scientific article; zbMATH DE number 6841178
• Modal logics, justification logics, and realization
• ON MODAL LOGICS AXIOMATIZING PROVABILITY
• scientific article; zbMATH DE number 3963790
• scientific article; zbMATH DE number 3950488
• Modal logics of domains on the real plane
• Axiomatizing hybrid logic using modal logic
• Axiomatization of crisp Gödel modal logic
• scientific article; zbMATH DE number 21247
• Some results on finite axiomatizability in modal logic

Cited in

(5)

• scientific article; zbMATH DE number 6841178 (Why is no real title available?)
• Decidability of order-based modal logics
• Typology of axioms for a weighted modal logic
• Continuous propositional modal logic
• Expressivity in chain-based modal logics

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 Q4636037)