The Mosaic Method for Temporal Logics

Authors:
Maarten Marx;Szabolcs Mikulás;Mark Reynolds
Affiliations:
-;-;-
Venue:
TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Year:
2000

Citing 0
Cited 3

Continuous Temporal Models

AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
The complexity of the temporal logic with "until" over general linear time

Journal of Computer and System Sciences
Tableau-based decision procedures for logics of strategic ability in multiagent systems

ACM Transactions on Computational Logic (TOCL)

Quantified Score

Hi-index	0.00

Visualization

Abstract