2573 search results - page 38 / 515 » Combinations of Modal Logics |
JLP
2006
14 years 11 months ago
2006
This paper presents a modular framework for the specification of certain inductivelydefined coalgebraic types. Modal logics for coalgebras of polynomial endofunctors on the catego...
102
click to vote
CORR
2007
Springer
14 years 11 months ago
2007
Springer
This paper presents experiments on common knowledge logic, conducted with the help of the proof assistant Coq. The main feature of common knowledge logic is the eponymous modality...
ICML
1989
IEEE
15 years 3 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
BIRTHDAY
2010
Springer
15 years 14 hour ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
CADE
1998
Springer
15 years 4 months ago
1998
Springer
Proceedings of CADE-15, LNAI 1421, pp. 205