Search Results - subject:"Kripke structures"

On the Unique Extensibility and Surjectivity of Knowledge Structures

Simon, Robert Samuel - Center for the Study of Rationality, Hebrew University … - 2001

With the S5 multi-agent epistemic logic we consider the canonical maps from Krpke structures to knowledge structures. We define a cell to be a minimal subset of knowledge structures known in common semantically by the agents. A cell has finite fanout if at every point every agent considers only...

Persistent link: https://www.econbiz.de/10005752807

On the Logic of Common Belief and Common Knowledge

LISMONT, Luc; MONGIN, Philippe - Center for Operations Research and Econometrics (CORE), … - 1994

their motivations. Two standard semantic constructions, Kripke structures and neighbourhood structures, are introduced in … terms of Kripke structures. The paper also restates the well-known fact that Kripke structures can be regarded as particular …

Persistent link: https://www.econbiz.de/10005042881