Distributed Modal Logic

DOI10.1007/978-3-319-29300-4_16zbMath1439.03043OpenAlexW2465223121MaRDI QIDQ3305433

Gerard Allwein, William L. Harrison

Publication date: 7 August 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-29300-4_16

zbMATH Keywords

modal logicsimulationsKripkemodal algebrasHilbert systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items (1)

Distributed Relation Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Importing logics
• Stochastic coalgebraic logic
• Categorical logic and type theory
• Introduction to Bisimulation and Coinduction
• Kripke models for linear logic
• Information Flow
• Fibring of logics as a categorial construction
• Information transfer across Chu spaces
• Heterogeneous algebras

This page was built for publication: Distributed Modal Logic