J.F. Allen (1983):
Maintaining Knowledge About Temporal Intervals.
Communications of the Association for Computing Machinery 26(11),
pp. 832–843,
doi:10.1145/182.358434.
D. Bresolin, D. Della Monica, V. Goranko, A. Montanari & G. Sciavicco (2011):
Metric Propositional Neighborhood Logics on Natural Numbers.
Journal of Software and System Modeling (in press),
doi:10.1007/s10270-011-0195-y.
D. Bresolin, V. Goranko, A. Montanari & G. Sciavicco (2009):
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions.
Annals of Pure and Applied Logic 161(3),
pp. 289–304,
doi:10.1016/j.apal.2009.07.003.
D. Bresolin, V. Goranko, A. Montanari & G. Sciavicco (2009):
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths.
In: Proc. of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM).
IEEE Comp. Society Press,
pp. 240–249,
doi:10.1109/SEFM.2009.36.
D. Bresolin, A. Montanari & P. Sala (2007):
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic.
In: Proc. of the 24th Annual Symposium on Theoretical Aspects of Computer Science (STACS),
LNCS 4393.
Springer,
pp. 549–560,
doi:10.1007 978 3 540 70918 3 47.
D. Bresolin, A. Montanari, P. Sala & G. Sciavicco (2008):
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders.
In: Proc. of the 11th European Conference on Logics in AI (JELIA),
LNAI 5293.
Springer,
pp. 62–75,
doi:10.1007 978 3 540 87803 2 7.
D. Bresolin, A. Montanari, P. Sala & G. Sciavicco (2010):
Tableau-based decision procedures for Propositional Neighborhood Logic.
Technical Report 01.
Dipartimento di Matematica e Informatica,
Università di Udine, Italy.
D. Bresolin, A. Montanari & G. Sciavicco (2007):
An optimal decision procedure for Right Propositional Neighborhood Logic.
Journal of Automated Reasoning 38(1-3),
pp. 173–199,
doi:10.1007 s10817 006 9051 0.
D. Della Monica (2011):
Expressiveness, Decidability, and Undecidability of Interval Temporal Logic.
Department of Mathematics and Computer Science, University of Udine,
Udine, Italy.
V. Goranko, A. Montanari & G. Sciavicco (2003):
Propositional interval neighborhood temporal logics.
Journal of Universal Computer Science 9(9),
pp. 1137–1167,
doi:10.3217/jucs-009-09-1137.
V. Goranko, A. Montanari & G. Sciavicco (2004):
A road map of interval temporal logics and duration calculi.
Journal of Applied Non-Classical Logics 14(1–2),
pp. 9–54,
doi:10.3166/jancl.14.9-54.
M. Otto (2001):
Two Variable First-Order Logic over Ordered Domains.
Journal of Symbolic Logic 66(2),
pp. 685–702,
doi:10.2307/2695037.
P. Sala (2010):
Decidability of Interval Temporal Logics.
Department of Mathematics and Computer Science, University of Udine,
Udine, Italy.
Y. Venema (1990):
Expressiveness and Completeness of an Interval Tense Logic.
Notre Dame Journal of Formal Logic 31(4),
pp. 529–547,
doi:10.1305/ndjfl/1093635589.
Y. Venema (1991):
A Modal Logic for Chopping Intervals.
Journal of Logic and Computation 1(4),
pp. 453–476,
doi:10.1093/logcom/1.4.453.
eptcs@eptcs.org