Add to ORKGInternational audienceThis paper is aimed as a contribution to the use of formal modal languages in Artificial Intelligence. We introduce a multi-modal version of Second-order Propositional Modal Logic (SOPML), an extension of modal logic with propositional quantification, and illustrate its usefulness as a specification language for knowledge representation as well as temporal and spatial reasoning. Then, we define novel notions of (bi)simulation and prove that these preserve the interpretation of SOPML formulas. Finally, we apply these results to assess the expressive power of SOPML
Two-dimensional semantics is one of the main theories of meaning in contemporary analytic philosophy...
Two-dimensional semantics is one of the main theories of meaning in contemporary analytic philosophy...
The goal of our research is to highlight the connection between modal provability theory and defaul...
International audienceThis paper is aimed as a contribution to the use of formal modal languages in ...
This paper is aimed as a contribution to the use of formal modal languages in Artificial Intelligenc...
International audienceIn this paper we advance the state-of-the-art on the application of second-ord...
International audienceIn this paper we advance the state-of-the-art on the application of second-ord...
In this paper we advance the state-of-the-art on the application of second-order propositional modal...
In this paper we advance the state-of-the-art on the application of second-order propositional modal...
Modal logics, originally conceived in philosophy, have recently found many applications in computer ...
This paper is aimed as a contribution to the use of formal modal languages in Artificial Intelligenc...
In this paper we advocate the use of multi-dimensional modal logics as a framework for knowledge rep...
Multi-modal logics are among the best tools developed so far to analyse human reasoning and agents' ...
Modal and modal-like logics have become the focus of rcriewed attentiorl in the field of knowledge r...
Modal logic is a widely applicable method of reasoning for many areas of computer science. These are...
Two-dimensional semantics is one of the main theories of meaning in contemporary analytic philosophy...
Two-dimensional semantics is one of the main theories of meaning in contemporary analytic philosophy...
The goal of our research is to highlight the connection between modal provability theory and defaul...
International audienceThis paper is aimed as a contribution to the use of formal modal languages in ...
This paper is aimed as a contribution to the use of formal modal languages in Artificial Intelligenc...
International audienceIn this paper we advance the state-of-the-art on the application of second-ord...
International audienceIn this paper we advance the state-of-the-art on the application of second-ord...
In this paper we advance the state-of-the-art on the application of second-order propositional modal...
In this paper we advance the state-of-the-art on the application of second-order propositional modal...
Modal logics, originally conceived in philosophy, have recently found many applications in computer ...
This paper is aimed as a contribution to the use of formal modal languages in Artificial Intelligenc...
In this paper we advocate the use of multi-dimensional modal logics as a framework for knowledge rep...
Multi-modal logics are among the best tools developed so far to analyse human reasoning and agents' ...
Modal and modal-like logics have become the focus of rcriewed attentiorl in the field of knowledge r...
Modal logic is a widely applicable method of reasoning for many areas of computer science. These are...
Two-dimensional semantics is one of the main theories of meaning in contemporary analytic philosophy...
Two-dimensional semantics is one of the main theories of meaning in contemporary analytic philosophy...
The goal of our research is to highlight the connection between modal provability theory and defaul...