Zoekopdracht:
auteur: "benthem,j.f.a.k.van"
81 tot 90 van 418
1
11
21
31
41
51
61
71
81
91
101
111
121
131
141
151
161
171
181
191
201
211
221
231
241
251
261
271
281
291
301
311
321
331
341
351
361
371
381
391
401
411
| 81 |
| Preprint: Modal Quantification over Structured Domains
J.F.A.K. van Benthem, N. Alechina
|
| 82 |
| Preprint: Modality, Bisimulation and Interpolation in Infinitary Logic
J.F.A.K. van Benthem
|
| 83 |
| Preprint: Modeling Reasoning in a Social Setting
J.F.A.K. van Benthem
|
| 84 |
| Preprint: Modeling the Kinematics of Meaning
J.F.A.K. van Benthem
|
| 85 |
| Hoofdstuk: Modelling Simultaneous games with Concurrent Dynamic logic
J.F.A.K. van Benthem, S. Ghosh, F. Liu
in: A Meeting of the Minds, Proceedings of the Workshop on Logic, Rationality and Interaction (LORI)
, p. 243-258
|
| 86 |
| Preprint: Modelling Simultaneous Games with Dynamic Logic
J.F.A.K. van Benthem, S. Ghosh, F. Liu
|
| 87 |
| Preprint: Multi-agent belief dynamics: bridges between dynamic doxastic and doxastic temporal logics
J.F.A.K. van Benthem, C. Dégrémont
|
| 88 |
| Preprint: Multi-agent belief dynamics: bridges between dynamic doxastic and doxastic temporal logics
J.F.A.K. van Benthem, Cédric Dégrémont
|
| 89 |
| Preprint: NNIL, A Study in Intuitionistic Propositional Logic
J.F.A.K. van Benthem, D.H.J. de Jongh, G. Renardel de Lavalette, A. Visser
|
| 90 |
| Preprint: Non-Standard Reasoning, Revisited
J.F.A.K. van Benthem
|