1 citations · 1 across the 2 of their papers we have counts for
2 papers
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…
cs.LO2021★ 1 cited
Mining counterexamples for wide-signature algebras with an Isabelle server
Wesley Fussner, Boris Shminke
We propose an approach for searching for counterexamples of statements about algebraic structures with a medium-sized signature using the Isabelle proof assistant in an efficient,…