797 search results - page 9 / 160 » Logics with an existential modality |
TACS
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. We present two modal typing systems with the approximation modality, which has been proposed by the author to capture selfreferences involved in computer programs and the...
SLOGICA
1998
13 years 10 months ago
1998
We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deductionstyle proof systems for ...
AISC
1998
Springer
14 years 3 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
13 years 12 months ago
2010
Springer
Modal dependence logic was introduced very recently by V
FOSSACS
2005
Springer
14 years 4 months ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...