63 citations · 134 across the 19 of their papers we have counts for
1 paper · 1 filter
Marta Bílková, Wesley Fussner, Roman Kuznets
We define a new type of proof formalism for multi-agent modal logics with S5-type modalities. This novel formalism combines the features of hypersequents to represent S5 modalities…