First-order logic with two variables and unary temporal logic
From MaRDI portal
Publication:2506493
DOI10.1006/inco.2001.2953zbMath1096.03013OpenAlexW2131159347MaRDI QIDQ2506493
Moshe Y. Vardi, Thomas Wilke, Kousha Etessami
Publication date: 10 October 2006
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.2001.2953
Related Items (41)
Two-Variable Logic with Counting and Trees ⋮ Complexity of Two-Variable Logic on Finite Trees ⋮ Some modal aspects of XPath ⋮ LARS: a logic-based framework for analytic reasoning over streams ⋮ Unnamed Item ⋮ Notes on logics of metric spaces ⋮ Temporal BI: proof system, semantics and translations ⋮ Separation logics and modalities: a survey ⋮ How many times do you need to go back to the future in unary temporal logic? ⋮ On the almighty wand ⋮ On the translation of automata to linear temporal logic ⋮ Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS ⋮ Characterization of Logics over Ranked Tree Languages ⋮ Complexity of two-variable dependence logic and IF-logic ⋮ Separating Without Any Ambiguity. ⋮ ``Most of leads to undecidability: failure of adding frequencies to LTL ⋮ A Note on C² Interpreted over Finite Data-Words ⋮ The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT ⋮ Relative expressive power of navigational querying on graphs ⋮ Comparing the succinctness of monadic query languages over finite trees ⋮ Fragments of first-order logic over infinite words ⋮ On Decidability of LTL+Past Model Checking for Process Rewrite Systems ⋮ Unnamed Item ⋮ \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\) ⋮ From Philosophical to Industrial Logics ⋮ Unnamed Item ⋮ From Monadic Logic to PSL ⋮ On decidability of LTL model checking for process rewrite systems ⋮ On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing ⋮ Two Variable vs. Linear Temporal Logic in Model Checking and Games ⋮ Expressiveness of Hybrid Temporal Logic on Data Words ⋮ Expressive Completeness for LTL With Modulo Counting and Group Quantifiers ⋮ Unnamed Item ⋮ Model Checking FO(R) over One-Counter Processes and beyond ⋮ Bounded linear-time temporal logic: a proof-theoretic investigation ⋮ Unnamed Item ⋮ One-Dimensional Logic over Trees ⋮ All finitely axiomatizable tense logics of linear time flows are coNP-complete
Cites Work
This page was built for publication: First-order logic with two variables and unary temporal logic
