1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2023
COOL 2 -- A Generic Reasoner for Modal Fixpoint Logics
Oliver Görlitz, Daniel Hausmann, Merlin Humml +3
There is a wide range of modal logics whose semantics goes beyond relational structures, and instead involves, e.g., probabilities, multi-player games, weights, or neighbourhood st…
cs.AI2022★ 1 cited
Common Knowledge of Abstract Groups
Merlin Humml, Lutz Schröder
Epistemic logics typically talk about knowledge of individual agents or groups of explicitly listed agents. Often, however, one wishes to express knowledge of groups of agents spec…