Balogh, K., Kleiber, J. (2004) A Morphology-driven Parser for Hungarian.

In Asatiani, R. Balogh, K. Chikoidze, G. Dekker, P. De Jongh, D. (Eds.), Proceedings of the Fifth Tbilisi Symposium on Language, Logic and Computation (pp 29-37). ILLC, Amsterdam/CLLS, Tbilisi.

Balogh, K. (2005) 'Only' and Exhaustivity in Hungarian.

In Hoop, Helen de Zwarts, Joost (Eds.), Proceedings of the ESSLLI 2005 workshop on Formal Semantics and Cross-Linguistic Data

Balogh, K. (2005) Interpreting Focus and 'Only' in Hungarian.

In Afanasiev, L. ten Cate, B. Zeevat, H. (Eds.), Proceedings of the 6th International Tbilisi Symposium. CSLA Tbilisi/ILLC Amsterdam.

Balogh, K. (2005) Problems with Multiple Focus and 'Only' in Hungarian.

In Ghidini, Chiara Doan, Bich-Lien Brezillon, Patrick (Eds.), Proceedings of the Doctoral Consortium associated with the Fifth International and Inderdisciplinary Conference on Modelling and Using Context (Context'05) (pp 11-20)

Balogh, K. (2006) Complex Focus Versus Double Focus.

In Ebert, Ch. et al. (Eds.), Proceedings of the Sinn und Bedeutung 10, ZAS Working Paper in Linguistics. ZAS.

Balogh, K. (2006) Focus and `only' in Hungarian.

Lecture Notes in Computer Science, Vol. 4363

Article | UvA-DARE

Balogh, K. (2006) Exhausitivity operator(s) and Hungarian focus structure.

Lecture Notes in Computer Science, Vol. 4363 (pp 18-26)

Article | UvA-DARE

Balogh, K. (2007) Focus and ‘only’ in Hungarian.

In ten Cate, B.D. Zeevat, H.W. (Eds.), Logic, Language, and Computation: 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005 : revised selected papers (pp 31-44) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence, Vol. 4363). Springer.

Balogh, K. (2009) Theme with variations : a context-based analysis of focus.

Institute for Logic, Language and Computation.

Thesis, fully internal | UvA-DARE

Balogun, Funmilola, Löwe, Benedikt (2024) Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs: Studia Logica.

Studia Logica, Vol. 112 (pp 1181-1200)

Article | https://doi.org/10.1007/s11225-023-10087-w | UvA-DARE

Baltag, A., Bergfeld, J., Kishida, K., Sack, J., Smets, S., Zhong, S. (2014) PLQP & Company: Decidable Logics for Quantum Algorithms.

International Journal of Theoretical Physics, Vol. 53 (pp 3628-3647)

Article | https://doi.org/10.1007/s10773-013-1987-3 | UvA-DARE

Baltag, A., Bergfeld, J.M., Kishida, K., Sack, J., Smets, S., Zhong, S. (2013) Quantum Probabilistic Dyadic Second-Order Logic.

In Libkin, L. Kohlenbach, U. de Queiroz, R. (Eds.), Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings (pp 64-80) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 8071). Springer.

Baltag, A., Bergfeld, J.M., Kishida, K., Smets, S., Zhong, S. (2012) A Decidable Dynamic Logic for Quantum Reasoning.

In Pre-proceedings of The workshop on Quantum Physics and Logic, 2012

Baltag, A., Bezhanishvili, N., Fernández González, S. (2019) The McKinsey-Tarski theorem for topological evidence logics.

In Iemhoff, R. Moortgat, M. de Queiroz, R. (Eds.), Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019 : proceedings (pp 177-194) (Lecture Notes on Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 11541). Springer.

Baltag, A., Bezhanishvili, N., Fernández González, S. (2022) Topological Evidence Logics: Multi-agent Setting.

In Özgün, A. Zinova, Y. (Eds.), Language, Logic, and Computation: 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019 : revised selected papers (pp 237-257) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 13206). Springer.

Baltag, A., Bezhanishvili, N., Fernández-Duque, D. (2021) The topological mu-calculus: completeness and decidability.

In 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): 29 June 2021-2 July 2021, Rome, Italy,virtual (pp 1126-1138). IEEE.

Baltag, A., Bezhanishvili, N., Fernández-Duque, D. (2022) The topology of surprise.

In Kern-Isberner, G. Lakemeyer, G. Meyer, T. (Eds.), Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning: Haifa, Israel. July 31–August 5, 2022 (pp 33-42) (KR, Vol. 2022). International Joint Conferences on Artificial Intelligence.

Baltag, A., Bezhanishvili, N., Ilin, J., Özgün, A. (2017) Quotient dynamics: the logic of abstraction.

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 181-194) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 10455). Springer.

Baltag, A., Bezhanishvili, N., Özgün, A., Smets, S. (2013) The Topology of Belief, Belief Revision and Defeasible Knowledge.

In Grossi, D. Roy, O. Huang, H. (Eds.), Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013 : proceedings (pp 27-40) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 8196). Springer.

Baltag, A., Bezhanishvili, N., Özgün, A., Smets, S. (2015) The Topological Theory of Belief.

ILLC Pre-publication. ILLC, University of Amsterdam.

Working paper | https://eprints.illc.uva.nl/id/eprint/529/ | UvA-DARE