366 search results - page 45 / 74 » Reasoning about relational granulation in modal logics |
DLOG
2003
15 years 1 months ago
2003
In this chapter, we are concerned with the relationship between Description Logics and other formalisms, regardless of whether they were designed for knowledge representation issu...
JAPLL
2007
14 years 11 months ago
2007
We propose a novel method of determining the appropriateness of an answer to a question through a proof of logical relevance rather than a logical proof of truth. We define logic...
122
click to vote
MSCS
2006
14 years 11 months ago
2006
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...
117
click to vote
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
We study the relation between Nominal Logic and the Theory of Contexts, two approaches for specifying and reasoning about datatypes with binders. We consider a natural-deduction s...
112
click to vote
ENTCS
2007
14 years 11 months ago
2007
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over...