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

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

Baltag, A., Bezhanishvili, N., Özgün, A., Smets, S. (2016) Justified Belief and the Topology of Evidence.

In Väänänen, J. Hirvonen, Å. de Queiroz, R. (Eds.), Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016: Puebla, Mexico, August 16–19th, 2016: proceedings (pp 83-103) (Lecture Notes in Computer Science, Vol. 9803). Springer.

Baltag, A., Bezhanishvili, N., Özgün, A., Smets, S. (2017) The Topology of Full and Weak Belief.

In Hansen, H.H. Murray, S.E. Sadrzadeh, M. Zeevat, H. (Eds.), Logic, Language, and Computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : revised selected papers (pp 205-228) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 10148). Springer.

Baltag, A., Bezhanishvili, N., Özgün, A., Smets, S. (2019) A Topological Approach to Full Belief.

Journal of Philosophical Logic, Vol. 48 (pp 205-244)

Article | https://doi.org/10.1007/s10992-018-9463-4 | UvA-DARE

Baltag, A., Bezhanishvili, N., Özgün, A., Smets, S. (2022) Justified belief, knowledge, and the topology of evidence.

Synthese, Vol. 200

Article | https://doi.org/10.1007/s11229-022-03967-6 | UvA-DARE

Baltag, A., Boddy, R., Smets, S. (2018) Group knowledge in interrogative epistemology.

In van Ditmarsch, H. Sandu, G. (Eds.), Jaakko Hintikka on Knowledge and Game-Theoretical Semantics (pp 131-164) (Outstanding contributions to logic, Vol. 12). Springer.

Baltag, A., Canavotto, I., Smets, S. (2021) Causal Agency and Responsibility: A Refinement of STIT Logic.

In Giordani, A. Malinowski, J. (Eds.), Logic in High Definition: Trends in Logical Semantics (pp 149-176) (Trends in Logic, Vol. 56). Springer.

Baltag, A., Christoff, Z., Hansen, J.U., Smets, S. (2013) Logical Models of Informational Cascades.

In van Benthem, J. Liu, F. (Eds.), Logic Across the University: Foundations and Applications: proceedings of the Tsinghua Logic Conference, Beijing, 2013 (pp 405-432) (Studies in Logic, Vol. 47). College Publications.