Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Hollenberg, M.
Volume
Title
179
Dynamic Negation, The One and Only
Hollenberg, M.
|
Visser, Albert
172
Equational axioms of test algebra
Hollenberg, M.
170
Safety for bisimulation in monadic second-order logic
Hollenberg, M.
165
Uniform interpolation, automata and the modal μ-calculus
D'Agostino, G.
|
Hollenberg, M.
156
Bisimulation respecting first-order operations
Hollenberg, M.
151
An axiomatisation of strong negation and relational composition
Hollenberg, M.
125
Counting Variables in a Dynamic Setting
Hollenberg, M.
|
Vermeulen, K.
124
Hennessy-Milner Classes and Process Algebra
Hollenberg, M.
110
Negative Definability in Modal Logic
Hollenberg, M.
Online