1 citations · 2 across the 7 of their papers we have counts for
4 papers · 1 filter
Synergistic Knowledge
Christian Cachin, David Lehnherr, Thomas Studer
In formal epistemology, group knowledge is often modelled as the knowledge that the group would have, if the agents shared all their individual knowledge. However, this interpretat…
Impossible and Conflicting Obligations in Justification Logic
Federico L. G. Faroldi, Meghdad Ghari, Eveline Lehmann +1
Different notions of the consistency of obligations collapse in standard deontic logic. In justification logics, which feature explicit reasons for obligations, the situation is di…
Belief Expansion in Subset Models
Eveline Lehmann, Thomas Studer
Subset models provide a new semantics for justifcation logic. The main idea of subset models is that evidence terms are interpreted as sets of possible worlds. A term then justifie…
The logic of temporal domination
Thomas Studer
In this short note, we are concerned with the fairness condition "A and B hold almost equally often", which is important for specifying and verifying the correctness of non-termina…