scientific article; zbMATH DE number 1140672

zbMATH Open0897.03012MaRDI QIDQ4385437FDOQ4385437

Seán Matthews, David Basin, Luca Viganò

Publication date: 13 April 1998

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

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 (4)

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