Searching for authors named "Dick De Jongh" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Characterization of Strongly Equivalent Logic Programs in Intermediate Logics
- …Characterization of Strongly Equivalent Logic Programs in Intermediate Logics Dick de Jongh…
- Cited by 18 (0 self) – Add To MetaCart
-
Angluin's Theorem for Indexed Families of R.e. Sets and Applications
- …Angluin's theorem for indexed families of r.e. sets and applications Dick de Jongh Institute…
- Cited by 11 (0 self) – Add To MetaCart
-
The Modal Completeness of ILW
- …The Modal Completeness of ILW Dick de Jongh Frank Veltman Abstract This paper contains a…
- Cited by 2 (0 self) – Add To MetaCart
-
Optimality, belief and preference
- …Optimality, Belief and Preference Dick de Jongh Institute for Logic, Language and Computation…
- Cited by 1 (1 self) – Add To MetaCart
-
The Logic of Provability
- … Science, University of Pennsylvania Philadelphia, Pennsylvania 19104-6389, USA Dick de Jongh Institute…
- Cited by 16 (2 self) – Add To MetaCart
-
Coordination of 01-Agents vs. Coordination of Worlds-Based Agents
- …`a di Siena Dick de Jongh ILLC Amsterdam Franco Montagna Universit`a di Siena Abstract As far as we…
- Cited by 2 (2 self) – Add To MetaCart
-
Interpolation, Definability and Fixed Points in Interpretability Logics
- … Dick de Jongh ILLC, Universiteit van Amsterdam Plantage Muidergracht 24, 1018 TV Amsterdam…
- Cited by 1 (0 self) – Add To MetaCart
-
The Interpolation Theorem for IL and ILP
- …The Interpolation Theorem for IL and ILP Carlos Areces Dick de Jongh Eva Hoogland ILLC…
- Cited by 1 (0 self) – Add To MetaCart
-
Chapter Vii
- … Science, University of Pennsylvania Philadelphia, Pennsylvania 19104-6389, USA Dick de Jongh Institute…
- Add To MetaCart
-
Centro Per La Ricerca Scientifica E Tecnologica
- … owner. Coordination: A model-theoretic perspective Alessandro Agostini ITC-Irst Trento Dick de Jongh…
- Add To MetaCart
Showing 1 through 10.
