-
van Benthem, J.F.A.K. (1998) Proof Theory and Dynamics in natural language.In Ohlbach, H-J. Reyle, U. (Eds.), Festschrift for Dov Gabbay (pp 37-47) (-). Kluwer.Chapter | UvA-DAREvan Benthem, J.F.A.K. (1998) Shifting contexts and changing assertions.In van Glabbeek, R. Aliseda Llera, A. Wersterstahl, D. (Eds.), Computing natural language (pp 51-65) (-). CSLI Publications.Chapter | UvA-DAREvan Benthem, J.F.A.K. (1998) Temporal patterns and modal structure.CT-98. WINS (oud WINS).Report | UvA-DAREvan Benthem, J.F.A.K. (1998) Wider still and wider: resetting the bounds of logic.LP-97. WINS (oud WINS).Report | UvA-DAREvan Benthem, J.F.A.K. (1998) Dynamiek: Een Inleiding.Algemeen Nederlands Tijdschrift voor Wijsbegeerte, Vol. 90 (pp 3-25)Article | UvA-DAREvan Benthem, J.F.A.K. (1999) Logical Constants, Computation and Simulation Invariance.In Childers, T. (Eds.), The Logica 98 Yearbook (pp 11-19). Czech Academy of Sciences.Chapter | UvA-DAREvan Benthem, J.F.A.K. (1999) Wider Still and Wider: resetting the bounds of logic.In The European Review of Philosophy (pp 21-44). CSLI Publications.Chapter | UvA-DAREvan Benthem, J.F.A.K. (1999) Modal Foundations for Predicate Logic.In Logic at Work, To the Memory of Elena Rasiowa (pp 39-54). Physica Verlag.Chapter | UvA-DAREvan 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-DAREvan Benthem, J.F.A.K. (1999) The Range of Modal Logic.Journal of Applied Non-Classical Logics, Vol. 9 (pp 407-442)Article | UvA-DAREvan Benthem, J.F.A.K. (1999) Boeken Top Drie.Natuur & Techniek, Vol. 67Article | UvA-DAREvan Benthem, J.F.A.K. (1999) When are Two Games the Same?.Technical Report ILLC. vg logic/info (oud WINS).Report | UvA-DAREvan Benthem, J.F.A.K. (2000) Information Transfer Across Chu Spaces.Logic Journal of the IGPL, Vol. 8 (pp 719-731)Article | UvA-DAREvan 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-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