1071 search results - page 14 / 215 » Modal Logics, Description Logics and Arithmetic Reasoning |
196
Voted
POPL
2007
ACM
15 years 12 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
83
Voted
CADE
2005
Springer
15 years 5 months ago
2005
Springer
102
click to vote
IJCAI
1997
15 years 1 months ago
1997
In the paper, we consider the problem of supporting automated reasoning in a large class of knowledge representation formalisms, including terminological and epistemic logics, who...
134
click to vote
AMAST
2006
Springer
15 years 3 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
CADE
2008
Springer
15 years 12 months ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...