MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Temporal and Modal Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

186 documents found, showing 1 through 10. Next 10 →

ATOM

Temporal and modal logic
by E. Allen Emerson — 1990 — Handbook of Theoretical Computer Science
…TEMPORAL AND MODAL LOGIC by E. Allen Emerson Computer Sciences Department University of…
Cited by 912 (15 self) – Add To MetaCart

Temporal and Modal Logic Programming Languages
by Manolis Gergatsoulis — 2001 — In A. Kent and J.G. Williams (Eds.), Encyclopedia of Microcomputers
…Temporal and Modal Logic Programming Languages Manolis Gergatsoulis Institute of Informatics…
Cited by 5 (1 self) – Add To MetaCart

An Overview of Temporal and Modal Logic Programming
by Mehmet A. Orgun, Wanli Ma — 1994 — Proc. First Int. Conf. on Temporal Logic - LNAI 827
…An Overview of Temporal and Modal Logic Programming Mehmet A. Orgun 1 and Wanli Ma 2 1…
Cited by 49 (5 self) – Add To MetaCart

Temporal and Modal Logic Based Event Languages for the Development of Reactive Application Systems
by Erich Ortner, Tobias Schneider
…Temporal and Modal Logic Based Event Languages for the Development of Reactive Application Systems…
Add To MetaCart

Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge
by Clare Dixon, Michael Fisher — 2000 — Proceedings of TIME-00 the Seventh International Workshop on Temporal Representation and Reasoning, Cape Breton, Nova
…Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge Clare Dixon and Michael Fisher…
Cited by 9 (6 self) – Add To MetaCart

Normal Forms and Proofs in Combined Modal and Temporal Logics
by U. Hustadt, C. Dixon, R. A. Schmidt, M. Fisher — 2000
…Normal Forms and Proofs in Combined Modal and Temporal Logics U. Hustadt 1 , C. Dixon 1 , R. A…
Cited by 8 (6 self) – Add To MetaCart

Objects, Types and Modal Logics
by Dan S. Andersen, Lars H. Pedersen, Hans Hüttel, Josva Kleist, Ac Abadi, Cardelli Present — 1996
…]. The fragment allows us to express the temporal modalities of the logic CTL [BAMP83]. We investigate…
Cited by 5 (0 self) – Add To MetaCart

Integrating Processes in Temporal Logic
by Thomas Fuchß — 1997
… process models in classical structures for quantified temporal (modal) logic. The idea is that in a…
Add To MetaCart

Dynamic Topological Logics Over Spaces with Continuous Functions
by B. Konev, R. Kontchakov, F. Wolter, M. Zakharyaschev — 2006 — In: GUIDO GOVERNATORI, IAN HODKINSON, & VENEMA, YDE (eds), Proceedings of Advances in Modal Logic
… and temporal modal logics that are used for reasoning about dynamical systems consisting of a topological space…
Cited by 2 (0 self) – Add To MetaCart

Some comments on history based structures
by Eric Pacuit — 2007 — Journal of Applied Logic (forthcoming
… multi-agent epistemic temporal modal logic can be used to reason about these structures. A number…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB