Searchable List of Research Output

Filter Publications
  • 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. Barbosa, L.S. (2020) Preface.
    In Soares Barbosa, L. Baltag, A. (Eds.), Dynamic Logic : New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019 : proceedings (pp vi) (Lecture Notes in Computer Science, Vol. 12005). Springer.
  • 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)
  • Baltag, A. Bergfeld, J.M. Kishida, K. Sack, J. Smets, S.J.L. 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.J.L. Zhong, S. (2012) A Decidable Dynamic Logic for Quantum Reasoning.
    In Pre-proceedings of The workshop on Quantum Physics and Logic, 2012
    Conference contribution | UvA-DARE
  • 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. 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. Özgun, 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. (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)
  • Baltag, A. Bezhanishvili, N. Özgün, A. Smets, S. (2022) Justified belief, knowledge, and the topology of evidence.
    Synthese, Vol. 200
  • Baltag, A. Bezhanishvili, N. Ozgun, A. Smets, S.J.L. (2015) The Topological Theory of Belief.
    ILLC Pre-publication PP-2015-18.
    Report | UvA-DARE
  • Baltag, A. Bezhanishvili, N. Özgün, A. Smets, S.J.L. (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. 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.
    Conference contribution | UvA-DARE
  • Baltag, A. Christoff, Z.L. Rendsvig, R.K. Smets, S.J.L. (2015) Dynamic Epistemic Logic of Diffusion and Prediction in Social Networks.
    ILLC Pre-publication PP-2015-22..
    Report | 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