Constraint LTL satisfiability checking without automata

, , , , &
Journal of Applied Logic 12 (4):522-557 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2014.07.005

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,830

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

SAT-based explicit LTL f satisfiability checking.Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi & Kristin Y. Rozier - 2020 - Artificial Intelligence 289 (C):103369.
Temporal logics for concurrent recursive programs: Satisfiability and model checking.Benedikt Bollig, Aiswarya Cyriac, Paul Gastin & Marc Zeitoun - 2014 - Journal of Applied Logic 12 (4):395-416.
PDL with intersection and converse: satisfiability and infinite-state model checking.Stefan Göller, Markus Lohrey & Carsten Lutz - 2009 - Journal of Symbolic Logic 74 (1):279-314.
Review of Lukas M. Verburgt and Matteo Cosci: Aristotle’s Syllogism and the Creation of Modern Logic: Between Tradition and Innovation, 1820s–1930s. [REVIEW]Zoe McConaughey - 2024 - Hopos: The Journal of the International Society for the History of Philosophy of Science 14 (1):232-236.
Reasoning about sequences of memory states.Rémi Brochenin, Stéphane Demri & Etienne Lozes - 2010 - Annals of Pure and Applied Logic 161 (3):305-323.
M. Di Matteo e P. Piacentini (a cura di), "The Italian Economy at the Dawn of the 21st Century".R. Pedersini - 2004 - Polis 18 (3):517-519.
Model checking distributed temporal logic.Francisco Dionísio, Jaime Ramos, Fernando Subtil & Luca Viganò - forthcoming - Logic Journal of the IGPL.
Defeasible linear temporal logic.Anasse Chafik, Fahima Cheikh-Alili, Jean-François Condotta & Ivan Varzinczak - 2023 - Journal of Applied Non-Classical Logics 33 (1):1-51.
Galileo Engineer - by Matteo Valleriani.Neil Tarrant - 2011 - Centaurus 53 (4):334-336.
Review of Ontology and Metaontology: A Contemporary Guide by Francesco Berto & Matteo Plebani. [REVIEW]Arreman Jan - 2017 - Philosophy in Review 37 (2):53-55.

Analytics

Added to PP
2016-06-30

Downloads
27 (#818,040)

6 months
9 (#464,038)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Decidable fragments of first-order temporal logics.Ian Hodkinson, Frank Wolter & Michael Zakharyaschev - 2000 - Annals of Pure and Applied Logic 106 (1-3):85-134.
Tense Logic and the Theory of Linear Order.Johan Anthony Wilem Kamp - 1968 - Dissertation, University of California, Los Angeles

Add more references