• Richard Petersens Plads, 322, 024

    2800 Kgs. Lyngby

    Denmark

20152023

Research output per year

If you made any changes in Pure these will be visible here soon.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 5 Journal article
  • 2 Article in proceedings
  • 1 Conference abstract for conference

A dynamic logic for learning theory

Baltag, A., Gierasimczuk, N., Ozgun, A., Sandoval, A. L. V. & Smets, S., 2019, In : Journal of Logical and Algebraic Methods in Programming. 109, 20 p., 100485.

Research output: Contribution to journalJournal articleResearchpeer-review

Bridging Logic, Philosophy, Computer and Cognitive Science: in the Memory of Marcin Mostowski (1955-2017) Introduction

Szymanik, J. (ed.) & Gierasimczuk, N. (ed.), 2019, In : Fundamenta Informaticae. 164, 4, p. I-III 3 p.

Research output: Contribution to journalJournal articleCommunication

Cognitive Complexity of Logical Reasoning in Games: Automated Theorem Proving Perspective

Thoft, K. B. P. & Gierasimczuk, N., 2019, p. 3370-3370.

Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

Open Access
File

Truth-Tracking by Belief Revision

Baltag, A., Gierasimczuk, N. & Smets, S., 2019, In : Studia Logica. 107, 5, p. 917-947 31 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
17 Downloads (Pure)

A Dynamic Logic for Learning Theory

Baltag, A., Gierasimczuk, N., Özgün, A., Vargas Sandoval, A. L. & Smets, S., 2018, Dynamic Logic. New Trends and Applications. : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. Madeira, A. & Benevides, M. (eds.). Springer, Vol. 10669. p. 35-54 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
83 Downloads (Pure)

Projects