When agents are involved, it is natural to assume that each agent has its own indistinguishability function: two histories that are indistinguishable to the ...
Indistinguishability, Choices, and Logics of Agency | Studia Logica
link.springer.com › Studia Logica
Nov 7, 2013 · The first part of the paper investigates the set-theoretical properties of the set of indistinguishability classes, which has a tree structure.
Undivided and indistinguishable histories in branching-time logics.Alberto Zanardo - 1998 - Journal of Logic, Language and Information 7 (3):297-315.
Dec 1, 2013 · The first part of the paper investigates the set-theoretical properties of the set of indistinguishability classes, which has a tree structure.
The function I is called indistinguishability and generalizes the notion of undividedness. Belnap's choices are particular indistinguishability functions.
Zanardo, Alberto. "Indistinguishability, Choices, and Logics of Agency" Studia logica : an international journal for symbolic logic, 101, 6, S. 1215-1237, 2013.
Indistinguishability, Choices, and Logics of Agency,. Studia Logica, 2013, Vol. 101. N. 6, pp.1215-1236. Completeness of a Branching-Time Logic with Possible ...
Mar 17, 2022 · STIT logic surveys the properties of agents seeing to it that some state of affairs holds without specifying concrete actions by which that ...
Jun 18, 2009 · Single agent vs. many agents. The difference between these two choices often goes beyond choosing whether or not to explicitly represent ...
ABSTRACT. The rationality of individual agents is secured for the most part by their make-up or design. Some agents, however – in particular, human beings ...