uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • van Benthem, J.F.A.K. (1997) Logic, language and information: The makings of a new science?.
    Journal of Logic, Language and Information, Vol. 6 (pp 1-3)
    Article | UvA-DARE
  • van Benthem, J.F.A.K. (1997) Wat cultuurbeleid van wetenschapsbeleid kan leren.
    Boekmancahier, kwartaalschrift over kunst, onderzoek en beleid, Vol. 31 (pp 38-45)
    Article | UvA-DARE
  • van Benthem, J.F.A.K. (1997) Cognitive actions in focus.
    Journal of Logic, Language and Information, Vol. 6 (pp 119-121)
    Article | UvA-DARE
  • van Benthem, J.F.A.K. (1997) Modal foundations for predicate logic.
    Bulletin of the IGPL, Vol. 5 (pp 119-121)
    Article | UvA-DARE
  • van Benthem, J.F.A.K. (1998) Modal logics and bounded fragments of predicate logic.
    Journal of Philosophical Logic, Vol. 27 (pp 217-274)
  • van Benthem, J.F.A.K. (1998) Dynamics odds and ends.
    ML-98. WINS (oud WINS).
    Report | UvA-DARE
  • 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-DARE
  • van Benthem, J.F.A.K. (1998) Programming operatiosn that are safe for bisimulation.
    Studia Logica, Vol. 60 (pp 311-330)
    Article | UvA-DARE
  • 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-DARE
  • van 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-DARE
  • van Benthem, J.F.A.K. (1998) Temporal patterns and modal structure.
    CT-98. WINS (oud WINS).
    Report | UvA-DARE
  • van Benthem, J.F.A.K. (1998) Wider still and wider: resetting the bounds of logic.
    LP-97. WINS (oud WINS).
    Report | UvA-DARE
  • van Benthem, J.F.A.K. (1998) Dynamiek: Een Inleiding.
    Algemeen Nederlands Tijdschrift voor Wijsbegeerte, Vol. 90 (pp 3-25)
    Article | UvA-DARE
  • van 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-DARE
  • van 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-DARE
1 ... 256 257 258 259 260 261 262 263 264 ... 306

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