797 search results - page 11 / 160 » Logics with an existential modality |
102
click to vote
LFCS
1992
Springer
15 years 4 months ago
1992
Springer
Among non-monotonic systems of reasoning, non-monotonic modal logics, and autoepistemic logic in particular, have had considerable success. The presence of explicit modal operator...
110
click to vote
IGPL
2008
15 years 19 days ago
2008
This paper is the first in a series of three related papers on modal methods in interpretability logics and applications. In this first paper the fundaments are laid for later res...
96
Voted
VL
2007
IEEE
15 years 6 months ago
2007
IEEE
Description logics (DLs) are a well-understood family of knowledge representation (KR) languages. The notation of DLs has the flavour of a variable-free first order predicate lo...
105
click to vote
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal l...
83
Voted
ICFP
2003
ACM
16 years 17 days ago
2003
ACM
We propose a conservative extension of HM(X), a generic constraint-based type inference framework, with bounded existential (a.k.a. abstract) and universal (a.k.a. polymorphic) da...