Deductive temporal reasoning with constraints



Dixon, Clare ORCID: 0000-0002-4610-9533, Konev, Boris, Fisher, Michael ORCID: 0000-0002-0875-3862 and Nietiadi, Sherly
(2013) Deductive temporal reasoning with constraints. JOURNAL OF APPLIED LOGIC, 11 (1). 30 - 51.

[img] Text
jal12updated.pdf - Accepted Version

Download (433kB)
Item Type: Article
Uncontrolled Keywords: Temporal logic, Constraints, Theorem proving, Tableau
Depositing User: Symplectic Admin
Date Deposited: 06 Jul 2017 13:06
Last Modified: 23 Jul 2021 01:11
DOI: 10.1016/j.jal.2012.07.001
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3008352