Author Publications

2000

Broersen, Jan and Wieringa, Roel and Meyer, John-Jules (2000) A Fixed-point Characterization of a Deontic Logic of Regular Action. Fundamenta Informaticae, 48 (2-3). pp. 107-128. ISSN 0169-2968

Broersen, Jan and Wieringa, Roel and Meyer, John-Jules (2000) A semantics for persistency in propositional dynamic logic. In: First International Conference on Computational Logic, CL2000, July 24-28, 2000, London, UK.

Broersen, Jan and Wieringa, Roel and Meyer, John-Jules (2000) μ-calculus-based deontic logic for regular actions. In: Fifth International Workshop on Deontic Logic in Computer Science (DEON'00), 20-22 Jan 2000, Toulouse, France.

1999

Broersen, Jan and Wieringa, Roel (1999) A logic for the specification of multi-object systems. In: Third International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS, 15-18 Feb 1999, Firenze, Italy.

1998

Broersen, Jan and Wieringa, Roel (1998) Preferential semantics for action specification in first-order modal action logic. In: ECAI-98 Workshop on Practical Reasoning and Rationality, 23-28 Aug 1998, Brighton, UK.

1997

Broersen, Jan and Wieringa, Roel (1997) Minimal Semantics for Action Specifications in First-order Dynamic Logic. [Report]

1996

Broersen, Jan and Feenstra, Remco and Wieringa, Roel (1996) Minimal semantics for transaction specifications in a multi-modal logic. In: 6th International Workshop on Foundations of Models and Languages for Data and Objects, IDB 1996, September 16-20, 1996, Schloss Dagstuhl, Germany.

Broersen, Jan and Wieringa, Roel and Feenstra, Remco (1996) Minimal Semantics for Action Specifications in PDL. In: Accolade 1996, 21-22 Nov 1996, Nijmegen, The Netherlands.