63 citations · 134 across the 19 of their papers we have counts for
4 papers · 1 filter
A priori Belief Updates as a Method for Agent Self-Recovery
Giorgio Cignarale, Roman Kuznets
Standard epistemic logic is concerned with describing agents' epistemic attitudes given the current set of alternatives the agents consider possible. While distributed systems can…
On Two- and Three-valued Semantics for Impure Simplicial Complexes
Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa
Simplicial complexes are a convenient semantic primitive to reason about processes (agents) communicating with each other in synchronous and asynchronous computation. Impure simpli…
Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
Iris van der Giessen, Raheleh Jalali, Roman Kuznets
We introduce a Gentzen-style framework, called layered sequent calculi, for modal logic K5 and its extensions KD5, K45, KD45, KB5, and S5 with the goal to investigate the uniform L…
Intuitionistic S4 is decidable
Marianna Girlando, Roman Kuznets, Sonia Marin +2
In this paper we demonstrate decidability for the intuitionistic modal logic S4 first formulated by Fischer Servi. This solves a problem that has been open for almost thirty years…