uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • 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
  • van Benthem, J.F.A.K. (2000) Explaining language by economic behaviour.
    In @ (pp 93-107). Cambridge University Press.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (2000) Logic and Games, the third encounter.
    Technical Report. Institute for Logic Language and Computation.
    Report | UvA-DARE
  • van Benthem, J.F.A.K. (2000) Reasoning in Reverse.
    In Abduction and Induction, their Relation and Integration (pp 9-11). Kluwer.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (2000) Information Transfer across Chu Spaces.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • van 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-DARE
  • van 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-DARE
  • van Benthem, J.F.A.K. (2001) Games in dynamic epistemic logic.
    Bulletin of Economic Research, Vol. 53 (pp 219-248)
    Article | UvA-DARE
  • van Benthem, J.F.A.K. (2001) Correspondence Theory.
    In Handbook of Philosophical Logic (second revised edition) (pp 325-408). Kluwer.
    Chapter | UvA-DARE
  • van 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-DARE
1 ... 257 258 259 260 261 262 263 264 265 ... 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