Axiomatising the Logic of Computer Programming

Automatic program generation using sequent calculus

CSC '92 Proceedings of the 1992 ACM annual conference on Communications

A Modal System of Algebras for Database Specification and Query/Update Language Support

VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases

VSE: Controlling the Complexity in Formal Software Developments

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods

KIV 3.0 for Provably Correct Systems

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods

Eliminating unorthodox derivation rules in an axiom system for iteration-free P D L with intersection

Fundamenta Informaticae

Iteration-free PDL with Intersection: a Complete Axiomatization

Fundamenta Informaticae

A Hybridization of Irreflexive Modal Logics

Electronic Notes in Theoretical Computer Science (ENTCS)

What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability

TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge

Coalitions and announcements

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2

Strong Completeness and Limited Canonicity for PDL

Journal of Logic, Language and Information

Problem-solving methods: understanding, description, development, and reuse

Problem-solving methods: understanding, description, development, and reuse

Monadic Bounded Algebras

Studia Logica

Local properties in modal logic

Artificial Intelligence

Eliminating Unorthodox Derivation Rules in an Axiom System for Iteration-free PDL with Intersection

Fundamenta Informaticae

Iteration-free PDL with Intersection: a Complete Axiomatization

Fundamenta Informaticae

Formalising Abilities and Opportunities of Agents

Fundamenta Informaticae