Distributed modal logic

DOI10.1007/978-3-319-29300-4_16MaRDI QIDQ3305433zbMATH OpenOpenAlexFDO

Authors 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

Hilbert systemsKripkemodal algebrasmodal logicsimulations

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4119639
• scientific article; zbMATH DE number 1927564
• Distributed first order logics
• Programming Languages and Systems
• A spatial logic for concurrency. II

Cites work

• Algebraic methods in philosophical logic
• Categorical logic and type theory
• Fibring of logics as a categorial construction
• Heterogeneous algebras
• scientific article; zbMATH DE number 3941493 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 3549200 (Why is no real title available?)
• scientific article; zbMATH DE number 1219632 (Why is no real title available?)
• scientific article; zbMATH DE number 549966 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1028832 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 6423887 (Why is no real title available?)
• Importing logics
• Information Flow
• Information transfer across Chu spaces
• Introduction to bisimulation and coinduction
• Kripke models for linear logic
• Modal logic
• Partially-ordered modalities
• Stochastic coalgebraic logic

Cited in

(13)

• Distributed first order logics
• Partially-ordered modalities
• On distributed stochastic logics for mobile systems
• scientific article; zbMATH DE number 4070296 (Why is no real title available?)
• scientific article; zbMATH DE number 1759383 (Why is no real title available?)
• Distributed Relation Logic
• scientific article; zbMATH DE number 4119639 (Why is no real title available?)
• Sharing actions and attributes in modal action logic
• A logical approach to multilevel security of probabilistic systems
• Programming Languages and Systems
• Computer Science Logic
• Weak models of distributed computing, with connections to modal logic
• Weak models of distributed computing, with connections to modal logic

This page was built for publication: Distributed modal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3305433)