1. (100%) Proving Behavioural Theorems with Standard First-Order Logic - Bidoit Hennicker; M. Bidoit; R. Hennicker; Michel Bidoit; Rolf Hennicker
. Behavioural logic is a generalization of first-order logic where the equality predicate is interpr ...
(application/postscript) - 11-ago-2009

2. (96%) Observational Logic - R. Hennicker,M. Bidoit,Rolf Hennicker,Michel Bidoit
. We present an institution of observational logic which generalizes earlier approaches to observati ...
(ps) - 31-mar-2009