Marco Hollenberg (hollenberg)

Contributions à Philosophie.ch

Bibliography

Hollenberg, Marco. 1997. “An Equational Axiomatization of Dynamic Negation and Relational Composition.” Journal of Logic, Language, and Information 6(4): 381–401.
Hollenberg, Marco. 1998. “Logic and Bisimulation.” PhD dissertation, Leiden: Zeno Institute of Philosophy.
Hollenberg, Marco and Visser, Albert. 1999. “Dynamic Negation, the One and Only.” Journal of Logic, Language, and Information 8(2): 137–141.