Decidability of Propositional Projection Temporal Logic with Infinite Models
From MaRDI portal
Publication:5425464
DOI10.1007/978-3-540-72504-6_47zbMath1198.68167MaRDI QIDQ5425464
Publication date: 13 November 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-72504-6_47
68Q60: Specification and verification (program logics, model checking, etc.)
03B25: Decidability of theories and sets of sentences
03B44: Temporal logic
Related Items