Add to ORKGPh.D. in Computer Science, INRIA Nancy Grand Est, projet TALARIS/Université Henri Poincaré, Nancy, France. Under supervision of Patrick Blackburn
International audienceWe study hybrid logics in topological semantics. We prove that hybrid logics o...
Brouwer's views on the foundations of mathematics have inspired the study of intuitionistic logic, i...
Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Language
We presente spatial logics and spatio-temporal logics in the paradigm of hybrid modal logics. These ...
AbstractThis paper discusses two experiments in theorem proving for hybrid logic under the topologic...
Topological notions and methods have successfully been applied in various areas of computer science....
This paper discusses two experiments in theorem proving for hybrid logic under the topological inter...
This paper discusses two experiments in theorem proving for hybrid logic under the topological inter...
AbstractWe consider the non-orthodox proof rules of hybrid logic from the viewpoint of topological s...
Logic programming employs logic as a programming language. Thus a logic program consists of a set of...
In this work, we consider a well-known and well-studied system of para-consistent logic which is due...
We present an introduction to geometric logic and the mathematical structures associated with it, su...
AbstractMany connections have been established between learning and logic, or learning and topology,...
Contains fulltext : 128989.pdf (publisher's version ) (Open Access
Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programmi...
International audienceWe study hybrid logics in topological semantics. We prove that hybrid logics o...
Brouwer's views on the foundations of mathematics have inspired the study of intuitionistic logic, i...
Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Language
We presente spatial logics and spatio-temporal logics in the paradigm of hybrid modal logics. These ...
AbstractThis paper discusses two experiments in theorem proving for hybrid logic under the topologic...
Topological notions and methods have successfully been applied in various areas of computer science....
This paper discusses two experiments in theorem proving for hybrid logic under the topological inter...
This paper discusses two experiments in theorem proving for hybrid logic under the topological inter...
AbstractWe consider the non-orthodox proof rules of hybrid logic from the viewpoint of topological s...
Logic programming employs logic as a programming language. Thus a logic program consists of a set of...
In this work, we consider a well-known and well-studied system of para-consistent logic which is due...
We present an introduction to geometric logic and the mathematical structures associated with it, su...
AbstractMany connections have been established between learning and logic, or learning and topology,...
Contains fulltext : 128989.pdf (publisher's version ) (Open Access
Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programmi...
International audienceWe study hybrid logics in topological semantics. We prove that hybrid logics o...
Brouwer's views on the foundations of mathematics have inspired the study of intuitionistic logic, i...
Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Language