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

JOURNAL ARTICLE

Year: 2004 Journal: Information Processing Letters Vol: 91 (5)Pages: 201-210 Publisher: Elsevier BV

DOI: 10.1016/j.ipl.2004.05.003

Keywords:

Branching (polymer chemistry) Mathematics Order (exchange) Temporal logic Algorithm Computer science Theoretical computer science Chemistry Economics

Metrics

Cited By

0.00

FWCI (Field Weighted Citation Impact)

Refs

0.12

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Logic, programming, and type systems

Physical Sciences → Computer Science → Artificial Intelligence

semigroups and automata theory

Physical Sciences → Computer Science → Computational Theory and Mathematics