scientific article; zbMATH DE number 6863647

zbMATH Open1400.03039MaRDI QIDQ4636037FDOQ4636037

Authors: Denisa Diaconescu, George Metcalfe, Laura Schnüriger 

Publication date: 23 April 2018

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

many-valued logicsmodal logicsabelian logic

Mathematics Subject Classification ID

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

Cited In (5)

• Expressivity in chain-based modal logics
• Title not available (Why is that?)
• Continuous propositional modal logic
• Decidability of order-based modal logics
• Typology of axioms for a weighted 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 Q4636037)