Executable Modal and Temporal Logics

Keyphrases

Publications

volume 897, 1995

Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings Executable Modal and Temporal Logics 897 (1995)

1993

Thom W. Frühwirth
Temporal Logic and Annotated Constraint Logic Programming. Executable Modal and Temporal Logics (1993)
Stephan Merz
Efficiently Executable Temporal Logic Programs. Executable Modal and Temporal Logics (1993)
Marcos Cavalcanti
Solving Air-Traffic Problems with "Possible Worlds". Executable Modal and Temporal Logics (1993)
Michael Fisher
Towards a Semantics for Concurrent METATEM. Executable Modal and Temporal Logics (1993)
Nienke den Haan
Investigations into the Applications of Deontic Logic. Executable Modal and Temporal Logics (1993)
Jana Koehler, Ralf Treinen
Constraint Deduction in an Interval-based Temporal Logic. Executable Modal and Temporal Logics (1993)
Mark Reynolds
Towards First-Order Concurrent METATEM. Executable Modal and Temporal Logics (1993)
Michael Fisher, Richard Owens
An Introduction to Executable Modal and Temporal Logics. Executable Modal and Temporal Logics (1993)
Shinji Kono
A Combination of Clausal and Non Clausal Temporal Logic Programs. Executable Modal and Temporal Logics (1993)
Christoph Brzoska
Temporal Logic Programming with Metric and Past Operators. Executable Modal and Temporal Logics (1993)