Author of the publication

Axiomatic and Tableau-Based Reasoning for Kt(H, R).

, , and . Advances in Modal Logic, page 478-497. College Publications, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Approximate qualitative spatial reasoning., and . Spatial Cognition & Computation, 2 (4): 435-466 (2000)Graphical Partitions and Graphical Relations., and . Fundam. Informaticae, 165 (1): 75-98 (2019)Boolean connection algebras: A new approach to the Region-Connection Calculus.. Artif. Intell., 122 (1-2): 111-136 (2000)Qualitative Spatial Representation for the Humanities.. Int. J. Humanit. Arts Comput., 13 (1-2): 2-27 (2019)Ordered Information Systems and Graph Granulation.. IJCRS, volume 9920 of Lecture Notes in Computer Science, page 131-142. (2016)The Logic of Discrete Qualitative Relations., and . COSIT, volume 86 of LIPIcs, page 1:1-1:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Relational Granularity for Hypergraphs.. RSCTC, volume 6086 of Lecture Notes in Computer Science, page 267-276. Springer, (2010)Tableau Development for a Bi-intuitionistic Tense Logic., , and . RAMiCS, volume 8428 of Lecture Notes in Computer Science, page 412-428. Springer, (2014)A Qualitative Account of Discrete Space., and . GIScience, volume 2478 of Lecture Notes in Computer Science, page 276-290. Springer, (2002)The danger of using axioms in software metrics., and . IEE Proc. Softw. Eng., 144 (5-6): 279-285 (1997)