Augmenting branching temporal logics with existential quantification over atomic propositions

Orna Kupferman

doi:10.1007/3-540-60045-0_60

ScienceGate Book Chapters

BOOK-CHAPTER

Augmenting branching temporal logics with existential quantification over atomic propositions

Orna Kupferman

Year: 1995 Lecture notes in computer science Pages: 325-338 Publisher: Springer Science+Business Media

DOI: 10.1007/3-540-60045-0_60

Get Full-Text PDF Get Analytical Report

Keywords:

Computation tree logic Temporal logic Model checking Computer science Correctness Theoretical computer science Programming language Branching (polymer chemistry) Algorithm Semantics (computer science) Atomic sentence Linear temporal logic Well-founded semantics Operational semantics Denotational semantics Artificial intelligence

Metrics

Cited By

0.55

FWCI (Field Weighted Citation Impact)

Refs

0.62

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Citation History

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

Augmenting branching temporal logics with existential quantification over atomic propositions

Metrics

Citation History

Topics

Related Documents

Augmenting branching temporal logics with existential quantification over atomic propositions

Branching-Time Temporal Logics

Temporal Datalog with Existential Quantification

The power of first-order quantification over states in branching and linear time temporal logics

An Infinite Hierarchy of Temporal Logics over Branching Time