On finite domains in first-order linear temporal logic

DOI10.1007/978-3-319-46520-3_14zbMATH Open1398.68252OpenAlexW2523172211MaRDI QIDQ1990508FDOQ1990508

Julien Brunel, Denis Kuperberg, David Chemouil

Publication date: 25 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-46520-3_14

Recommendations

• A bounded domain property for an expressive fragment of first-order linear temporal logic
• Publication:4938418
• Two variable first-order logic over ordered domains
• A decidable and expressive fragment of many-sorted first-order linear temporal logic
• Decidable fragments of first-order temporal logics

zbMATH Keywords

fragmentsLTLfinite model propertybounded satisfiabilityFO

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Temporal logic (03B44)

Cited In (6)

• A decidable and expressive fragment of Many-Sorted first-order linear temporal logic
• Sound verification procedures for temporal properties of infinite-state systems
• A bounded domain property for an expressive fragment of first-order linear temporal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: On finite domains in first-order linear temporal logic

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