scientific article; zbMATH DE number 1140672

zbMATH Open0897.03012MaRDI QIDQ4385437FDOQ4385437

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

Publication date: 13 April 1998

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

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

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)

Cited In (6)

• Truth-values as labels: a general recipe for labelled deduction
• TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
• Title not available (Why is that?)
• A topos-theoretic approach to reference and modality
• Title not available (Why is that?)
• 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)