Ditmarsch, Hans van 1959-
Ditmarsch, Hans van (Hans Pieter), 1959-
Ditmarsch, Hans van
van Ditmarsch, Hans
Hans Pieter van Ditmarsch Dutch logician
VIAF ID: 74178928 ( Personal )
Permalink: http://viaf.org/viaf/74178928
Preferred Forms
- 200 _ | ‡a Ditmarsch ‡b Hans van
-
-
-
-
-
- 100 1 _ ‡a Ditmarsch, Hans van, ‡d 1959-
- 100 1 _ ‡a Ditmarsch, Hans van, ‡d 1959-
-
-
-
- 100 1 _ ‡a Ditmarsch, Hans van, ‡d 1959-....
- 100 1 _ ‡a Ditmarsch, Hans van ‡d 1959-
- 100 0 _ ‡a Hans Pieter van Ditmarsch ‡c Dutch logician
- 100 1 _ ‡a van Ditmarsch, Hans
4xx's: Alternate Name Forms (23)
5xx's: Related Names (1)
- 551 _ _ ‡a Eindhoven
Works
Title | Sources |
---|---|
100人の囚人と1個の電球 : 知識と推論にまつわる論理パズル | |
Abstractie in wiskunde, expertsystemen en argumentatie | |
Dynamic epistemic logic | |
The Dynamics of Incomplete and Inconsistent Information : Applications of logic, algebra and coalgebra | |
Epistemic logic, knowledge and truth : research on the use of formalisms in the treatment of paradoxes in epistemology. | |
Geometric semantics for asynchronous computability. | |
Honderd gevangenen en een gloeilamp | |
Hyakunin no shujin to ikko no denkyu : Chishiki to suiron ni matsuwaru ronri pazuru. | |
Une investigation logique de l'IA explicable | |
Jaakko Hintikka on knowledge and game-theoretical semantics | |
Logic and the Foundations of game and Decision Theory Sevilla | |
Logic, rationality, and interaction : third international workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings | |
Logica en informatica | |
Logica in actie | |
Logiques de ressources dynamiques : modèles, propriétés et preuves | |
Logiques pour les réseaux sociaux : annonces asynchrones dans des structures orthogonales | |
Mensonge, tromperie et omission stratégique : définition et évaluation. | |
Modal extensions of resource logics : expressivity and calculi. | |
Modal logic for open minds | |
Monotone Modal Logic and Friends | |
Moord in het Heymansgebouw | |
nr2007012279 | |
One hundred prisoners and a light bulb | |
Optimal regression for reasoning about knowledge and actions | |
Preuves en logique épistémique : une perspective topologique. | |
Qui peut dire quoi ? : réflexions sur l'objectivité, la capacité de groupes et la permision en logique épistémique dynamique. | |
Raisonner sur la manipulation dans les systèmes multi-agents : une approche fondée sur les logiques modales | |
Reasoning about manipulation in multi-agent systems : an approach based on modal logics. | |
Revocable belief revision | |
Sémantique géométrique pour la calculabilité asynchrone | |
Special issue on LOFT Sevilla | |
Tools for teaching logic : third international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011 : proceedings | |
Le vérificationnisme au prisme du paradoxe de Church-Fitch : recherches sur le principe de connaissabilité et son traitement en logique épistémique |