BOOK-CHAPTER

Temporal Logics for Linear and Branching Time and Model Checking

Lech Polkowski

Year: 2023 Intelligent systems reference library Pages: 231-280   Publisher: Springer Nature
Keywords:
Philosophy of space and time Humanity Branching (polymer chemistry) Flood myth B-theory of time Event (particle physics) History Philosophy Epistemology Theology Physics Western philosophy

Metrics

0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
29
Refs
0.50
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Topics

Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
Logic, programming, and type systems
Physical Sciences →  Computer Science →  Artificial Intelligence
Model-Driven Software Engineering Techniques
Physical Sciences →  Computer Science →  Software

Related Documents

JOURNAL ARTICLE

Model Checking Branching Time Logics

Ph. Schnoebelen

Year: 2007 Pages: 5-5
JOURNAL ARTICLE

Model checking for hybrid branching-time logics

Daniel KernbergerMartin Lange

Journal:   Journal of Logical and Algebraic Methods in Programming Year: 2018 Vol: 110 Pages: 100427-100427
JOURNAL ARTICLE

Model Checking Games for Branching Time Logics

Martin Lange

Journal:   Journal of Logic and Computation Year: 2002 Vol: 12 (4)Pages: 623-639
BOOK-CHAPTER

Comparing linear and branching time temporal logics

Colin Stirling

Lecture notes in computer science Year: 1989 Pages: 1-20
JOURNAL ARTICLE

Linear-Time Model Checking Branching Processes

Stefan KieferPavel SemukhinCas Widdershoven

Journal:   Leibniz-Zentrum für Informatik (Schloss Dagstuhl) Year: 2021
© 2026 ScienceGate Book Chapters — All rights reserved.