Normal Forms and Proofs in Combined Modal and Temporal Logics

Authors:
Ullrich Hustadt;Clare Dixon;Renate A. Schmidt;Michael Fisher
Affiliations:
-;-;-;-
Venue:
FroCoS '00 Proceedings of the Third International Workshop on Frontiers of Combining Systems
Year:
2000

Combinations of Modal Logics

Artificial Intelligence Review
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning

Applied Intelligence
Clausal resolution in a logic of rational agency

Artificial Intelligence
Verification within the KARO Agent Theory

FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Temporal Development Methods for Agent-Based

Autonomous Agents and Multi-Agent Systems
The axiomatic translation principle for modal logic

ACM Transactions on Computational Logic (TOCL)

Hi-index	0.00