Distributed Relation Logic

DOI10.12775/LLP.2016.017MaRDI QIDQ4683211zbMATH OpenOpenAlexFDO

Authors Gerard Allwein, William L. Harrison, Thomas J. Reynolds

Publication date 20 September 2018

Published in Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.12775/llp.2016.017

zbMATH Keywords

Kripke modelsrelation algebraKripke framesdistributed logicmultisorted algebra

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Distributed relation algebra
• Distributed Logic Programming
• Distributed modal logic
• Distributed first order logics
• Distributed first order logic
• Relational differential dynamic logic
• scientific article; zbMATH DE number 4177028
• Relational separation logic

Cites work

• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 3499717 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 475236 (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 6423887 (Why is no real title available?)
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• scientific article; zbMATH DE number 3070503 (Why is no real title available?)
• Algebraic methods in philosophical logic
• Boolean Algebras with Operators
• Distributed modal logic
• Heterogeneous algebras
• Logics for classes of Boolean monoids
• Modal logic
• Relation algebras as residuated Boolean algebras
• The Theory of Representation for Boolean Algebras

Cited in

(3)

• Distributed first order logics
• Distributed relation algebra
• Distributed reasoning for restricted weakly-linear disjunctive tuple-generating dependencies

This page was built for publication: Distributed Relation Logic

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