886 search results - page 28 / 178 » Modal logic and invariance |
83
Voted
ENTCS
2002
15 years 12 days ago
2002
We show that the category of coalgebras of a wide-pullback preserving endofunctor on a category of presheaves is itself a category of presheaves. This illustrates a connection bet...
104
click to vote
JLP
2006
15 years 16 days 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...
113
Voted
CORR
2007
Springer
15 years 17 days 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...
113
Voted
ICML
1989
IEEE
15 years 4 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...
113
Voted
BIRTHDAY
2010
Springer
15 years 24 days 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...