Work

Wanted dead or alive: epistemic logic for impure simplicial complexes

Year: 2024

Type: article

Source: Journal of Logic and Computation

DOI: 10.1093/logcom/exae055

Authors: Hans van Ditmarsch, Roman Kuznets

Institutions: Centre National de la Recherche Scientifique, Institut de Recherche en Informatique de Toulouse, Université de Toulouse, TU Wien

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Austrian Science Fund

Award: Reasoning about Knowledge in Byzantine Distributed Systems

OpenAlex ID: W3135091872

FWCI:

Cites: 57

Cited by:

Related to: 10