uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • 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
  • van 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-DARE
  • 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. 67
    Article | 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-DARE
1 ... 257 258 259 260 261 262 263 264 265 ... 307

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