scientific article; zbMATH DE number 1140672

MaRDI QIDQ4385437zbMATH OpenFDO

Authors Seán Matthews, Luca Viganò, David Basin

Publication date 13 April 1998

zbMATH Keywords

modal logicscombination of logicslabelled deductive systemlabelling algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract deductive systems (03B22)

Recommendations

• Labelled propositional modal logics: theory and practice
• scientific article; zbMATH DE number 1140671
• scientific article; zbMATH DE number 1749009
• scientific article; zbMATH DE number 932649

Cited in

(6)

• Truth-values as labels: a general recipe for labelled deduction
• TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
• scientific article; zbMATH DE number 753774 (Why is no real title available?)
• A topos-theoretic approach to reference and modality
• scientific article; zbMATH DE number 2086603 (Why is no real title available?)
• A modal logic framework for reasoning about comparative distances and topology

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