711 search results - page 15 / 143 » Modal Logics are Coalgebraic |
104
click to vote
AISC
1998
Springer
15 years 2 months ago
1998
Springer
Effective optimisation techniques can make a dramatic difference in the performance of knowledge representation systems based on expressive description logics. Because of the corre...
CSL
2010
Springer
14 years 11 months ago
2010
Springer
Modal dependence logic was introduced very recently by V
125
click to vote
TLCA
1993
Springer
15 years 2 months ago
1993
Springer
In this paper we introduce a logic for parametric polymorphism. Just as LCF is a logic for the simply-typed λ-calculus with recursion and arithmetic, our logic is a logic for Sys...
APAL
2006
14 years 10 months ago
2006
A new modal logic D is introduced. It describes properties of provability by interpreting modality as a deductive closure operator on sets of formulas. Logic D is proven to be dec...
102
click to vote
ICFP
2010
ACM
14 years 11 months ago
2010
ACM
We present a technique for higher-order representation of substructural logics such as linear or modal logic. We show that such logics can be encoded in the (ordinary) Logical Fra...