63 citations · 134 across the 19 of their papers we have counts for
20 papers
A decision procedure for intuitionistic modal logic IS4 (and IK4)
Marianna Girlando, Roman Kuznets, Sonia Marin +1
In this paper, we show that the two intuitionistic modal logics IS4 and IK4 are decidable. We provide a constructive decision procedure, that, given a formula, produces either a pr…
Interpolation in Proof Theory
Iris van der Giessen, Raheleh Jalali, Roman Kuznets
This chapter provides a comprehensive overview of proof-theoretic methods for establishing interpolation properties across a range of logics, including classical, intuitionistic, m…
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…
Bisimulation for Impure Simplicial Complexes
Marta Bílková, Hans van Ditmarsch, Roman Kuznets +1
As an alternative to Kripke models, simplicial complexes are a versatile semantic primitive on which to interpret epistemic logic. Given a set of vertices, a simplicial complex is…
Consistent Update Synthesis via Privatized Beliefs
Thomas Schlögl, Roman Kuznets, Giorgio Cignarale
Kripke models are an effective and widely used tool for representing epistemic attitudes of agents in multi-agent systems, including distributed systems. Dynamic Epistemic Logic (D…
Communication Modalities
Roman Kuznets
Epistemic analysis of distributed systems is one of the biggest successes among applications of logic in computer science. The reason for that is that agents' actions are necessari…