Branching-Time Temporal Logics with Minimal Model Quantifiers

DOI10.1007/978-3-642-02737-6_32MaRDI QIDQ3637242zbMATH OpenOpenAlexFDO

Authors Fabio Mogavero, Aniello Murano

Publication date 7 July 2009

Published in Developments in Language Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02737-6_32

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1705163
• Quirky quantifiers: optimal models and complexity of computation tree logic
• On the expressivity and complexity of quantitative branching-time temporal logics
• Augmenting branching temporal logics with existential quantification over atomic propositions
• scientific article; zbMATH DE number 1512710

Cites work

• Alternating-time temporal logic
• An automata-theoretic approach to branching-time model checking
• Decision procedures and expressiveness in the temporal logic of branching time
• Expressive number restrictions in description logics
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Graded computation tree logic
• scientific article; zbMATH DE number 1705163 (Why is no real title available?)
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 3757688 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 1500644 (Why is no real title available?)
• scientific article; zbMATH DE number 3303654 (Why is no real title available?)
• Modal logic
• The Complexity of Enriched μ-Calculi
• The complexity of verification
• The temporal semantics of concurrent programs
• The undecidability of the domino problem
• Undecidability and nonperiodicity for tilings of the plane
• Undecidability for arbitrary public announcement logic

Cited in

(8)

• scientific article; zbMATH DE number 1705163 (Why is no real title available?)
• Reasoning About Substructures and Games
• From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
• scientific article; zbMATH DE number 177521 (Why is no real title available?)
• scientific article; zbMATH DE number 2084388 (Why is no real title available?)
• scientific article; zbMATH DE number 1512710 (Why is no real title available?)
• scientific article; zbMATH DE number 4197950 (Why is no real title available?)
• Finite and Circular Path Models for Branching Time Logics

Describes a project that uses

Uses Software

• CESAR

This page was built for publication: Branching-Time Temporal Logics with Minimal Model Quantifiers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3637242)