Completeness and Decidability in Sequence Logic

DOI10.1007/978-3-540-75560-9_11zbMath1137.03311OpenAlexW2151452053MaRDI QIDQ3498460

Tore Langholm, Michał Walicki, Marc Bezem

Publication date: 15 May 2008

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75560-9_11

Mathematics Subject Classification ID

Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items (1)

Developing bounded reasoning

This page was built for publication: Completeness and Decidability in Sequence Logic