-
van Benthem, J.F.A.K. (1998) Linguistic grammar as Dynamic logic.LP-98. WINS (oud WINS).Report | UvA-DARE
-
van Benthem, J.F.A.K. (1998) Logische Dynamiek.Algemeen Nederlands Tijdschrift voor Wijsbegeerte, Vol. 90 (pp 54-70)Comment/Letter to the editor | UvA-DARE
-
van Benthem, J.F.A.K. (1998) Modal logic in two gestalts.ml-98. WINS (oud WINS).Report | UvA-DARE
-
van Benthem, J.F.A.K. (1998) Modality, bisimulation and interpolation in infinitary logic.ML-97. WINS (oud WINS).Report | UvA-DARE
-
van Benthem, J.F.A.K. (1998) Point on time.ENRAC Electronic Newsletter, Vol. 4 (pp ---)Comment/Letter to the editor | UvA-DARE
-
van Benthem, J.F.A.K. (1998) Process Operations in extended dynamic logic.In LICS. IEEE Publications.Chapter | UvA-DAREvan Benthem, J.F.A.K. (1998) Programming operatiosn that are safe for bisimulation.Studia Logica, Vol. 60 (pp 311-330)Article | UvA-DAREvan 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-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
