-
van Benthem, J.F.A.K., Bezhanishvili, G., ten Cate, B., Sarenac, D. (2006) Multimodal Logics of Products of Topologies.Studia Logica, Vol. 84 (pp 369-392)Article | https://doi.org/10.1007/s11225-006-9013-x | UvA-DARE
-
van Benthem, J.F.A.K., Bezhanishvili, G. (2007) Modal Logics of Space.In van Benthem, J.F.A.K. Aiello, M. Pratt-Hartmann, I.E. (Eds.), Handbook of Spatial Logics (pp 217-298). Springer.Chapter | UvA-DAREvan Benthem, J.F.A.K., Bezhanishvili, N., Aiello, M. (2001) Reasoning about space: the modal way.Technical Report. Institute for Logic, Language and Computation.Working paper | UvA-DAREvan 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-DAREvan 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-DAREvan 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-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