collaborators

1 paper

cs.LO2025

Agent Interpolation for Knowledge

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…