-
van Benthem, J.F.A.K. van Eijck, D.J.N. Kooi, B. (2005) Common Knowledge in Update Logics.In R. van der Meyden (Eds.), Proceedings TARK 10 (pp 253-261)Conference contribution | UvA-DAREvan Benthem, J.F.A.K. van Eijck, D.J.N. Kooi, B. (2006) Logics of Communication and Change.Information and Computation, Vol. 204 (pp 1620-1662)Article | https://doi.org/10.1016/j.ic.2006.04.006 | UvA-DAREvan Benthem, J.F.A.K. van Eyck, J. Stebletsova, V. (1994) Modal Logic, Transition Systems and Processes.Journal of Logic and Computation, Vol. 4 (pp 811-855)Article | UvA-DAREvan Benthem, J.F.A.K. van Otterloo, S.G. Roy, O. (2005) Preference logic, conditionals and solution concepts in games.Technical Reports. Institute for Logic, Language and Computation.Working paper | UvA-DAREvan Benthem, J.F.A.K. van Otterloo, S.G. Roy, O. (2006) Preference Logic, Conditionals, and Solution Concepts in Games.In Lagerlund, H. Lindstrom, S. Sliwinski, R. (Eds.), Modality Matters (pp 61-76). University of Uppsala.Chapter | UvA-DAREvan Benthem, J.F.A.K. van Rooy, R.A.M. (2003) Connecting the different faces of information.Journal of Logic, Language and Information, Vol. 12 (pp 1-4)Article | UvA-DAREvan Benthem, J.F.A.K. Westerstahl, D. (1995) Directions in Generalized Quantifier Theory.Studia Logica, Vol. 55 (pp 389-419)Article | UvA-DAREvan Benthem, J.F.A.K. (1994) The Landscape of Deductio.In Schroder-Heister, P. Dosen, K. (Eds.), Substructural Logics (pp 357-376). Clarendon Press.Chapter | UvA-DAREvan Benthem, J.F.A.K. (1994) Dynamic Arrow Logic.In Visser, A. van Eyck, J. (Eds.), Logic and Information Flow (pp 15-29). MIT Press.Chapter | UvA-DAREvan Benthem, J.F.A.K. (1994) Logica in Veelvoud.RADAR (pp 364-373)Meeting Abstract | UvA-DAREvan Benthem, J.F.A.K. (1994) General Dynamic Logic.In Gabbay, D. (Eds.), What is a Logical System? (pp 107-139). Oxford University Press.Chapter | UvA-DAREvan Benthem, J.F.A.K. (1994) A New World Underneath Standard Logic.In Schrijvers, L. Apt, K. Temme, N. (Eds.), From Universal Morphisms to Megabytes: A Baayen Space Odyssey (pp 179-186). CWI.Chapter | UvA-DAREvan Benthem, J.F.A.K. (1995) Back and Forth Between Modal Logic and Classical Logic.Logic journal of the IGPL, Vol. 3 (pp 685-720)Article | UvA-DAREvan Benthem, J.F.A.K. (1995) Quantifiers in the World of Types.In van Eyck, J. van der Does, J. (Eds.), Quantifiers, Logic Language, CSLI Lecture Notes (pp 45-60). Cambridge University Press.Chapter | UvA-DAREvan Benthem, J.F.A.K. (1995) Temporal Logic.In Hoggar, C. Gabbay, D. Robinson, J. (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 4 (pp 241-350). University Press.Chapter | UvA-DAREvan Benthem, J.F.A.K. (1995) Modal Foundations for Predicate Logic.Technical Report. onbekend (FdL).Report | UvA-DAREvan Benthem, J.F.A.K. (1996) Quantifiers in the World of Types.In van Eijck, J. van der Does, J. (Eds.), Quantifiers, Logic and Language (pp 47-62) (CSLI Lecture Notes). CSLI.Chapter | UvA-DAREvan Benthem, J.F.A.K. (1996) Complexity of Contents versus Complexity of Wrappings.In Masuch, M. Marx, M. P'olos, L. (Eds.), Arrow Logic and Multimodal Logic (pp 203-219) (Studies in Logic, Language and Information). CSLI Publications, Stanford and Cambridge University Press.Chapter | UvA-DAREvan Benthem, J.F.A.K. (1996) Inference, Methodology and Semantics.In Sadofsky, V. Bystrov, P. (Eds.), Philosophical Logic and Logical Philosophy, Essays in Honour of Vladimir Smirnov (pp 63-82). Kluwer Academic Publishers.Chapter | UvA-DAREvan Benthem, J.F.A.K. (1996) Bisimulation: The Never-Ending Story.In A Dynamic and Quick Intellect. Liber Amicorum for Paul Vit'anyi (pp 23-27). CWI.Chapter | 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