-
van Benthem, J.F.A.K. (1999) Modality, Bisimulation and Interpolation in Infinitary Logic.Annals of Pure and Applied Logic, Vol. 96 (pp 29-41)
-
van Benthem, J.F.A.K. (1999) Temporal Patterns and Modal Structure.Logic Journal of the IGPL, Vol. 7 (pp 7-26)Article | UvA-DARE
-
van Benthem, J.F.A.K. (1999) The Range of Modal Logic.Journal of Applied Non-Classical Logics, Vol. 9 (pp 407-442)Article | UvA-DARE
-
van Benthem, J.F.A.K. (1999) Boeken Top Drie.Natuur & Techniek, Vol. 67Article | UvA-DARE
-
van Benthem, J.F.A.K. (1999) When are Two Games the Same?.Technical Report ILLC. vg logic/info (oud WINS).Report | UvA-DARE
-
van Benthem, J.F.A.K. (2000) Information Transfer Across Chu Spaces.Logic Journal of the IGPL, Vol. 8 (pp 719-731)Article | UvA-DARE
-
van Benthem, J.F.A.K. (2000) Linguistic Grammar as Dynamic Logic.In Dynamic Perspectives in Logic and Linguistics (pp 7-17) (Logic and Linguistics). Bulzoni.Chapter | UvA-DAREvan Benthem, J.F.A.K. (2000) Explaining language by economic behaviour.In @ (pp 93-107). Cambridge University Press.Chapter | UvA-DAREvan Benthem, J.F.A.K. (2000) Instroom.Nieuw Archief voor Wiskunde, Vol. 5/1 (pp 263)van Benthem, J.F.A.K. (2000) Logic and Games, the third encounter.Technical Report. Institute for Logic Language and Computation.Report | UvA-DAREvan Benthem, J.F.A.K. (2000) Reasoning in Reverse.In Abduction and Induction, their Relation and Integration (pp 9-11). Kluwer.Chapter | UvA-DAREvan Benthem, J.F.A.K. (2000) Information Transfer across Chu Spaces.Technical Reports. Institute for Logic, Language and Computation.Working paper | UvA-DAREvan Benthem, J.F.A.K. (2001) Correspondence Theory.In Handbook of Philosophical Logic (second revised edition) (pp 325-408). Kluwer.Chapter | UvA-DAREvan Benthem, J.F.A.K. (2001) Modal logic in two gestalts.In Wansing, H. Zakharyashev, M. de Rijke, M. (Eds.), Advances in Modal Logic Modal logic, vol. II (pp 73-100). CSLI Publications.Chapter | UvA-DAREvan Benthem, J.F.A.K. (2001) Interdisciplinariteit en monogamie.newsletter Instituut I2O, Vol. FebruaryArticle | UvA-DAREvan Benthem, J.F.A.K. (2001) Logics for information update.In van Benthem, Johan (Eds.), Proceedings TARK VIII (pp 51-88). Morgan Kaufmann.Conference contribution | UvA-DAREvan Benthem, J.F.A.K. (2001) Games in dynamic epistemic logic.Bulletin of Economic Research, Vol. 53 (pp 219-248)Article | UvA-DAREvan Benthem, J.F.A.K. (2001) Preface of the general chair.In Bettini, C. Montanari, A. (Eds.), Proceedings TIME 2001 (pp ix). IEEE Computer Society.Conference contribution | UvA-DAREvan Benthem, J.F.A.K. (2002) Action and Procedure in Reasoning.In The Dynamics of Judicial Proof (pp 243-259). Physica Verlag.Chapter | UvA-DAREvan Benthem, J.F.A.K. (2002) Extensive games as process models.Journal of Logic, Language and Information, Vol. 11 (pp 289-313)Article | UvA-DARE
The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact illc at uva.nl