An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory

DOI10.1007/978-3-642-17511-4_16zbMath1311.03060OpenAlexW1533940954MaRDI QIDQ3066104

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)

Related Items (4)

Intuitionistic Epistemology and Modal Logics of Verification ⋮ Intuitionistic common knowledge or belief ⋮ Unnamed Item ⋮ A simplicial complex model for dynamic epistemic logic to study distributed task computability

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