1 citations · 3 across the 3 of their papers we have counts for
3 papers
Proof Systems for the Modal -Calculus Obtained by Determinizing Automata
Maurice Dekker, Johannes Kloibhofer, Johannes Marti +1
Automata operating on infinite objects feature prominently in the theory of the modal -calculus. One such application concerns the tableau games introduced by Niwiński & Walukie…
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
Generalizing standard monadic second-order logic for Kripke models, we introduce monadic second-order logic interpreted over coalgebras for an arbitrary set functor. Similar to wel…
Generalized powerlocales via relation lifting
Yde Venema, Steve Vickers, Jacob Vosmaer
This paper introduces an endofunctor $\VT$ on the category of frames, parametrized by an endofunctor $\T$ on the category $\Set$ that satisfies certain constraints. This generalize…