Author:
Wałęga Przemysław Andrzej,Zawidzki Michał
Funder
Alan Turing Institute
Research Council of Norway
Samsung Research UK
Siemens
EPSRC
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference36 articles.
1. A modal logic for subject-oriented spatial reasoning;Wałęga,2019
2. Qualitative reasoning about consistency in geographic information;Duckham;Inf. Sci.,2006
3. Expressiveness and completeness of an interval tense logic;Venema;Notre Dame J. Form. Log.,1990
4. Undecidability of compass logic;Marx;J. Log. Comput.,1999