Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2000 | 1999 | 1998 | 1997 | 1996
Number of items: 8.

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 (pp. pp. 912-925).

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 (pp. pp. 43-61).

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 (pp. pp. 387-398).

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 (pp. pp. 15-30).

This list was generated on Sat Aug 23 05:30:43 2014 CEST.