Fetching the paper…
Reading the bibliography…
Simplicial complexes are a versatile and convenient paradigm on which to build all the tools and techniques of the logic of knowledge, on the assumption that initial epistemic models can be described in a distributed fashion.
The use of knowledge in society
F. Hayek · 1945
Earlier work this paper cites.
Homology Theory: An Introduction to Algebraic Topology
P. J. Hilton and S. Wylie · 1960
Earlier work this paper cites.
Knowledge and Belief
J. Hintikka · 1962
Earlier work this paper cites.
On the structure of shared awareness
M. Friedell · 1969
Earlier work this paper cites.
Convention, a Philosophical Study
D.K. Lewis · 1969
Earlier work this paper cites.
Covering complexes with applications to algebra
J. Rotman · 1973
Earlier work this paper cites.
The temporal logic of programs
A. Pnueli · 1977
Earlier work this paper cites.
Time, clocks, and the ordering of events in a distributed system
L. Lamport · 1978
Earlier work this paper cites.
Modal Logic: An Introduction
B.F. Chellas · 1980
Earlier work this paper cites.
Impossibility of distributed consensus with one faulty process
M.J. Fischer, N.A. Lynch, and M. Paterson · 1985
Earlier work this paper cites.
The combinatorics of colored triangulations of manifolds
J. Bracho and L. Montejano · 1987
Earlier work this paper cites.
Memory requirements for agreement among unreliable asynchronous processes
M.C. Loui and H.H. Abu-Amara · 1987
Earlier work this paper cites.
Concurrent dynamic logic
D. Peleg · 1987
Earlier work this paper cites.
Belief, awareness, and limited reasoning
R. Fagin and J.Y. Halpern · 1988
Earlier work this paper cites.
A combinatorial characterization of the distributed 1-solvable tasks
O. Biran, S. Moran, and S. Zaks · 1990
Earlier work this paper cites.
Knowledge and common knowledge in a distributed environment
J.Y. Halpern and Y. Moses · 1990
Earlier work this paper cites.
Comparative concurrency semantics and refinement of actions
R.J. van Glabbeek · 1990
Earlier work this paper cites.
Concurrent common knowledge: Defining agreement for asynchronous systems
P. Panangaden and K. Taylor · 1992
Earlier work this paper cites.
The asynchronous computability theorem for t-resilient tasks
M. Herlihy and N. Shavit · 1993
Earlier work this paper cites.
A Course in Game Theory
M.J. Osborne and A. Rubinstein · 1994
Earlier work this paper cites.
Reasoning about Knowledge
R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi · 1995
Earlier work this paper cites.
Epistemic Logic for AI and Computer Science
J.-J.Ch. Meyer and W. van der Hoek · 1995
Earlier work this paper cites.
Topological reasoning and the logic of knowledge
A. Dabrowski, L.S. Moss, and R. Parikh · 1996
Earlier work this paper cites.
The logic of public announcements, common knowledge, and private suspicions
A. Baltag, L.S. Moss, and S. Solecki · 1998
Cited alongside, same era.
Dynamic odds and ends
J. van Benthem · 1998
Cited alongside, same era.
The topological structure of asynchronous computability
M. Herlihy and N. Shavit · 1999
Cited alongside, same era.
Representation, reasoning, and relational structures: a hybrid logic manifesto
P. Blackburn · 2000
Cited alongside, same era.
Dynamic Logic
D. Harel, D. Kozen, and J. Tiuryn · 2000
Cited alongside, same era.
Modal Logic
P. Blackburn, M. de Rijke, and Y. Venema · 2001
Cited alongside, same era.
Alternating-time temporal logic
R. Alur, T. A. Henzinger, and O. Kupferman · 2002
The synchronicity of dynamic epistemic logic
C. Degremont, B. Löwe, and A. Witzel · 2011
Later among the works it cites.
An introduction to bisimulation and coinduction
D. Sangiorgi · 2011
Later among the works it cites.
Locality and checkability in wait-free computing
P. Fraigniaud, S. Rajsbaum, and C. Travers · 2013
Later among the works it cites.
Distributed Computing Through Combinatorial Topology
M. Herlihy, D. Kozlov, and S. Rajsbaum · 2013
Later among the works it cites.
The Epistemic View of Concurrency Theory
S. Knight · 2013
Later among the works it cites.
On the definability of simulation and bisimulation in epistemic logic
H. van Ditmarsch, D. Fernández-Duque, and W. van der Hoek · 2014
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Algebraic topology
A. Hatcher · 2002
Cited alongside, same era.
Geometric aspects of multiagent systems
T. Porter · 2002
Cited alongside, same era.
A pleasant stroll through the land of infinitely many creatures
M. Kawazoe Aguilera · 2004
Cited alongside, same era.
Logics of communication and change
J. van Benthem, J. van Eijck, and B. Kooi · 2006
Cited alongside, same era.
Propositional logics from rough set theory
M. Banerjee and Md.A. Khan · 2007
Cited alongside, same era.
Arbitrary public announcement logic with mental programs
T. Charrier and F. Schwarzentruber · 2015
Later among the works it cites.
Knowledge and time
C. Dixon, C. Nalon, and R. Ramanujam · 2015
Later among the works it cites.
Handbook of epistemic logic
H. van Ditmarsch, J.Y. Halpern, W. van der Hoek, and B. Kooi, editors · 2015
Later among the works it cites.
Coalitions in epistemic planning
S. van Wijk · 2015
Later among the works it cites.
Handbook of Computational Social Choice
F. Brandt, V. Conitzer, U. Endriss, J. Lang, and A.D. Procaccia, editors · 2016
Later among the works it cites.
Resolving distributed knowledge
T. Ågotnes and Y.N. Wáng · 2017
Later among the works it cites.
Characterizing solution concepts in terms of common knowledge of rationality
J.Y. Halpern and Y. Moses · 2017
Later among the works it cites.
Evidence in Epistemic Logic: A Topological Perspective
A. Özgün · 2017
Later among the works it cites.
Neighborhood Semantics for Modal Logic
E. Pacuit · 2017
Later among the works it cites.
A simplicial complex model for dynamic epistemic logic to study distributed task computability
E. Goubault, J. Ledent, and S. Rajsbaum · 2018
Later among the works it cites.
Symbolic model checking for dynamic epistemic logic - S5 and beyond
J. van Benthem, J. van Eijck, M. Gattinger, and K. Su · 2018
Later among the works it cites.
P. Balbiani, H. van Ditmarsch, and S. Fernández González · 2019
Later among the works it cites.
Wait-free solvability of equality negation tasks
E. Goubault, M. Lazic, J. Ledent, and S. Rajsbaum · 2019
Later among the works it cites.
Reasoning about knowledge and messages in asynchronous multi-agent systems
S. Knight, B. Maubert, and F. Schwarzentruber · 2019
Later among the works it cites.
Geometric semantics for asynchronous computability
J. Ledent · 2019
Later among the works it cites.
A dynamic epistemic logic analysis of the equality negation task
E. Goubault, M. Lazic, J. Ledent, and S. Rajsbaum · 2020
Closest in time.