-
van Benthem, J.F.A.K., Bezhanishvili, N., Enqvist, N.J.S., Yu, J. (2017) Instantial neighbourhood logic.Review of Symbolic Logic, Vol. 10 (pp 116-144)Article | https://doi.org/10.1017/S1755020316000447 | UvA-DARE
-
van Benthem, J.F.A.K., Bezhanishvili, N., Enqvist, N.J.S. (2017) A new game equivalence and its modal logic.Electronic Proceedings in Theoretical Computer Science, Vol. 251 (pp 57-74)Article | https://doi.org/10.4204/EPTCS.251.5 | UvA-DARE
-
van Benthem, J.F.A.K., Bezhanishvili, N., Enqvist, N.J.S. (2017) A propositional dynamic logic for instantial neighborhood models.In Baltag, A. Seligman, J. Yamada, T. (Eds.), Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings (pp 137-150) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 10455). Springer.Conference contribution | https://doi.org/10.1007/978-3-662-55665-8_10 | UvA-DAREvan Benthem, J.F.A.K., Bezhanishvili, N., Enqvist, N.J.S. (2019) A propositional dynamic logic for instantial neighbourhood semantics.Studia Logica, Vol. 107 (pp 719-751)Article | https://doi.org/10.1007/s11225-018-9825-5 | UvA-DAREvan Benthem, J.F.A.K., Bezhanishvili, N., Enqvist, N.J.S. (2019) A new game equivalence, its logic and algebra.Journal of Philosophical Logic, Vol. 48 (pp 649-684)Article | https://doi.org/10.1007/s10992-018-9489-7 | UvA-DAREvan Benthem, J.F.A.K., Bezhanishvili, N., Hodkinson, I. (2012) Sahlqvist correspondence for modal mu-calculus.Studia Logica, Vol. 100 (pp 31-60)Article | https://doi.org/10.1007/s11225-012-9388-9 | UvA-DAREvan Benthem, J.F.A.K., Bezhanishvili, N., Holliday, W.H. (2017) A bimodal perspective on possibility semantics.Journal of Logic and Computation, Vol. 27 (pp 1353-1389)Article | https://doi.org/10.1093/logcom/exw024 | UvA-DAREvan Benthem, J.F.A.K., Bezhanishvili, N. (2023) Modern Faces of Filtration.In Faroldi, F.L.G. Van De Putte, F. (Eds.), Kit Fine on Truthmakers, Relevance, and Non-classical Logic (pp 23-61) (Outstanding Contributions to Logic, Vol. 26). Springer.Chapter | https://doi.org/10.1007/978-3-031-29415-0_3 | UvA-DAREvan Benthem, J.F.A.K., Bezhanishvili, N. (2024) Modal structures in groups and vector spaces.Journal of Logic and Computation, Vol. 34 (pp 75-124)Article | https://doi.org/10.1093/logcom/exac105 | UvA-DAREvan Benthem, J.F.A.K., Bonnay, D. (2008) Modal logic and invariance.Journal of Applied Non-Classical Logics, Vol. 18 (pp 153-173)Article | https://doi.org/10.3166/jancl.18.153-173 | UvA-DAREvan Benthem, J.F.A.K., d' Agostino, GIOVANNA, Montanari, A., Policriti, A (1995) Modal Deduction in Second-Order Logic and Set Theory.Technical Report. onbekend (FdL).Report | UvA-DAREvan Benthem, J.F.A.K., d' Agostino, GIOVANNA, Policriti, A (1997) Modal deduction in second-order logic and set theory. part i.Journal of Logic and Computation, Vol. 7 (pp 251-265)Article | https://doi.org/10.1093/logcom/7.2.251 | UvA-DAREvan Benthem, J.F.A.K., Dalla Chiara, M., Doets, H.C., Mundici, D. (1996) Proceedings 10th International Congress on Logic, Methodology and Philosophy of Science. Florence 1995; Two volumes ("Logic and Scientific Methods", "Structures and Norms in Science").Kluwer Academic Publishers.Book (Editorship) | UvA-DAREvan Benthem, J.F.A.K., de Jongh, D. (2019) In Memoriam Anne Sjerp Troelstra (1939–2019): Creating order in a vast and diverse area.Nieuw Archief voor Wiskunde, Vol. 21 (pp 225-227)van Benthem, J.F.A.K., Dégremont, C.M.L. (2010) Bridges between dynamic doxastic and doxastic temporal logics.In Bonanno, G. Löwe, B. van der Hoek, W. (Eds.), Logic and the Foundations of Game and Decision Theory – LOFT 8: 8th international conference, Amsterdam, The Netherlands, July 3-5, 2008 : revised selected papers (pp 151-173) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence
FoLLI publications on logic, language and information, Vol. 6006). Springer.Conference contribution | https://doi.org/10.1007/978-3-642-15164-4_8 | UvA-DAREvan Benthem, J.F.A.K., Dekker, P.J.E., van Eijck, J., de Rijke, M., Venema, Y. (2001) Logic in Action.ILLC, University of Amsterdam.Book | UvA-DAREvan Benthem, J.F.A.K., Doets, H.C. (2001) Higher-Order Logic.In Handbook of Philosophical Logic (second revised edition) (pp 1879-243). Kluwer.Chapter | UvA-DAREvan Benthem, J.F.A.K., Fernández-Duque, D., Pacuit, E. (2012) Evidence Logic: A New Look at Neighborhood Structures.In Bolander, T. Braüner, T. Ghilardi, S. Moss, L. (Eds.), Advances in Modal Logic: AiML 9 (pp 97-118). College Publications.Conference contribution | http://www.aiml.net/volumes/volume9/Benthem-Fernandez-Duque-Pacuit.pdf | UvA-DAREvan Benthem, J.F.A.K., Fernández-Duque, D., Pacuit, E. (2014) Evidence and Plausibility in Neighborhood Structures.Annals of Pure and Applied Logic, Vol. 165 (pp 106-133)Article | https://doi.org/10.1016/j.apal.2013.07.007 | UvA-DAREvan Benthem, J.F.A.K., Gabbay, D., Löwe, B. (2007) Interactive logic: selected papers from the 7th Augustus de Morgan workshop, London.Texts in logic and games. Amsterdam University Press.Book (Editorship) | UvA-DAREThe 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