Normal Forms and Proofs in Combined Modal and Temporal Logics

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/10720084_6 ◽

2000 ◽

pp. 73-87 ◽

Author(s):

U. Hustadt ◽

C. Dixon ◽

R. A. Schmidt ◽

M. Fisher

Keyword(s):

Normal Forms ◽

Temporal Logics ◽

Modal And Temporal Logics

Download Full-text

Interpreting Modal and Temporal Logics

Stochastic Relations ◽

10.1201/9781584889427-11 ◽

2007 ◽

pp. 275-350

Keyword(s):

Temporal Logics ◽

Modal And Temporal Logics

Download Full-text

Resolution-based calculi for modal and temporal logics

Automated Deduction — Cade-13 - Lecture Notes in Computer Science ◽

10.1007/3-540-61511-3_116 ◽

1996 ◽

pp. 598-612 ◽

Author(s):

Andreas Nonnengart

Keyword(s):

Temporal Logics ◽

Modal And Temporal Logics

Download Full-text

Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification

Journal of Logic and Computation ◽

10.1093/logcom/exm078 ◽

2007 ◽

Vol 18 (4) ◽

pp. 509-519 ◽

Author(s):

V. Rybakov

Keyword(s):

Temporal Logics ◽

Universal Formula ◽

Modal And Temporal Logics

Download Full-text

Modal and temporal logics for abstract space–time structures

Studies in History and Philosophy of Science Part B Studies in History and Philosophy of Modern Physics ◽

10.1016/j.shpsb.2007.01.004 ◽

2007 ◽

Vol 38 (3) ◽

pp. 673-681 ◽

Author(s):

Sara L. Uckelman ◽

Joel Uckelman

Keyword(s):

Abstract Space ◽

Temporal Logics ◽

Modal And Temporal Logics ◽

Time Structures

Download Full-text

Modal and temporal logics for processes

Logics for Concurrency - Lecture Notes in Computer Science ◽

10.1007/3-540-60915-6_5 ◽

1996 ◽

pp. 149-237 ◽

Author(s):

Colin Stirling

Keyword(s):

Temporal Logics ◽

Modal And Temporal Logics

Download Full-text

Interpreting Modal and Temporal Logics

Stochastic Relations - Chapman & Hall/CRC Studies in Informatics Series ◽

10.1201/9781584889427.ch6 ◽

2007 ◽

pp. 179-250

Keyword(s):

Temporal Logics ◽

Modal And Temporal Logics

Download Full-text

Implicit and Explicit Definability in Modal and Temporal Logics

Applied Logic: How, What and Why ◽

10.1007/978-94-015-8533-0_6 ◽

1995 ◽

pp. 153-159

Author(s):

Larisa Maksimova

Keyword(s):

Temporal Logics ◽

Modal And Temporal Logics ◽

Implicit And Explicit

Download Full-text

Executable Modal and Temporal Logics

10.1007/3-540-58976-7 ◽

1995 ◽

Keyword(s):

Temporal Logics ◽

Modal And Temporal Logics

Download Full-text

Minimal refinements of specifications in modal and temporal logics

Formal Aspects of Computing ◽

10.1007/s00165-007-0040-9 ◽

2007 ◽

Vol 19 (4) ◽

pp. 417-444

Author(s):

Nikos Gorogiannis ◽

Mark Ryan

Keyword(s):

Temporal Logics ◽

Modal And Temporal Logics

Download Full-text

An introduction to modal and temporal logics for CCS

Lecture Notes in Computer Science - Concurrency: Theory, Language, and Architecture ◽

10.1007/3-540-53932-8_41 ◽

1991 ◽

pp. 1-20 ◽

Author(s):

Colin Stirling

Keyword(s):

Temporal Logics ◽

Modal And Temporal Logics

Download Full-text