© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A MONA-based Decision Procedure for Propositional Interval Temporal Logic
Rodolfo Gomez and Howard Bowman
Workshop of Interval Temporal Logics and Duration Calculi (part of the 15th European Summer School in Logic, Language and Information, August 2003.Bibtex Record
@unpublished{1624,
author = {Rodolfo Gomez and Howard Bowman},
title = {{A} {MONA}-based {D}ecision {P}rocedure for {P}ropositional {I}nterval {T}emporal {L}ogic},
month = {August},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {Workshop of Interval Temporal Logics and Duration Calculi (part of the 15th European Summer School in Logic, Language and Information},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/1624},
publication_type = {unpublished},
submission_id = {6585_1054979384},
address = {Vienna, Austria},
}