ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
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
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
◽
Cited By ~ 8
Author(s):
U. Hustadt
◽
C. Dixon
◽
R. A. Schmidt
◽
M. Fisher
Keyword(s):
Normal Forms
◽
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
◽
Cited By ~ 7
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
◽
Cited By ~ 13
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
◽
Cited By ~ 1
Author(s):
Sara L. Uckelman
◽
Joel Uckelman
Keyword(s):
Space Time
◽
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
◽
Cited By ~ 51
Author(s):
Colin Stirling
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
◽
Cited By ~ 16
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
◽
Cited By ~ 19
Author(s):
Colin Stirling
Keyword(s):
Temporal Logics
◽
Modal And Temporal Logics
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close