An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory

DOI10.1007/978-3-642-17511-4_16MaRDI QIDQ3066104zbMATH OpenOpenAlexFDO

Authors Yoichi Hirai

Publication date 7 January 2011

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Gravity and Lorentz force
• Comparison of the Newtonian and general relativistic orbits of a point mass in an inverse-square law force field.
• scientific article; zbMATH DE number 759680
• scientific article; zbMATH DE number 411267
• Post-Newtonian approximation in the relativistic theory of gravity

Cited in

(9)

• Gravity and Lorentz force
• A simplicial complex model for dynamic epistemic logic to study distributed task computability
• An epistemic perspective on consistency of concurrent computations
• Intuitionistic common knowledge or belief
• A simplicial complex model for dynamic epistemic logic to study distributed task computability
• Intuitionistic epistemology and modal logics of verification
• MSO Logic for Unambiguous Shared-Memory Systems
• scientific article; zbMATH DE number 88949 (Why is no real title available?)
• Comparison of the Newtonian and general relativistic orbits of a point mass in an inverse-square law force field.

This page was built for publication: An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory

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