The Undecidability of the Logic of Subintervals
作者： Jerzy Marcinkowski , Jakub Michaliszyn
DOI: 10.3233/FI-2014-1011
关键词:
摘要: … Note that we use the proper subinterval relation D (the prefixes and suffixes are treat as subintervals), but our technique works also in the strict case, where instead of [a, b] = [a ,b ] we …
uni.wroc.pl参考文章(24)
Guido Sciavicco, Dario Della Monica, Angelo Montanari, Valentin Goranko, Expressiveness of the interval logics of Allen's relations on the class of all linear orders: complete classification international joint conference on artificial intelligence. pp. 845- 850 ,(2011) , 10.5591/978-1-57735-516-8/IJCAI11-147
C. L. Hamblin, Instants and intervals. Studium generale; Zeitschrift fur die Einheit der Wissenschaften im Zusammenhang ihrer Begriffsbildungen und Forschungsmethoden. ,vol. 24, pp. 324- 331 ,(1972) , 10.1007/978-3-642-65387-2_23
Hermann Wagner, Auf der Heide Springer Berlin Heidelberg. pp. 161- 166 ,(1876) , 10.1007/978-3-662-25853-8_21
Kamal Lodaya, Sharpening the Undecidability of Interval Temporal Logic Lecture Notes in Computer Science. pp. 290- 298 ,(2000) , 10.1007/3-540-44464-5_21
Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco, Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders european conference on logics in artificial intelligence. ,vol. 5293, pp. 62- 75 ,(2008) , 10.1007/978-3-540-87803-2_7
Angelo Montanari, Gabriele Puppis, Pietro Sala, Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals Automata, Languages and Programming. ,vol. 6199, pp. 345- 356 ,(2010) , 10.1007/978-3-642-14162-1_29
Angelo Montanari, Gabriele Puppis, Pietro Sala, A decidable spatial logic with cone-shaped cardinal directions computer science logic. ,vol. 5771, pp. 394- 408 ,(2009) , 10.1007/978-3-642-04027-6_29
Jerzy Marcinkowski, Jakub Michaliszyn, Emanuel Kieroński, B and D Are Enough to Make the Halpern–Shoham Logic Undecidable Automata, Languages and Programming. pp. 357- 368 ,(2010) , 10.1007/978-3-642-14162-1_30
Benjamin Charles Moszkowski, Reasoning about Digital Circuits ,(1983)
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco, Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification international conference on logic programming. ,vol. 5330, pp. 590- 604 ,(2008) , 10.1007/978-3-540-89439-1_41