Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Algorithmic Learning Theory and Computational Models of Cognitive Capabilities Acquisition

2013/11/B/HS1/04168

Keywords:

algorithmic learnability experimental logics concrete models truth theories model theory descriptive complexity low sets computability theory

Descriptors:

  • HS1_4: Logic, science methodology, philosophy of science
  • HS1_6: Nature of human mind (incl. mind's evolution, bio-psychological conditions of cognition, artificial intelligence)
  • ST6_4: Formal methods, foundations of computer science, including theoretical computer science, quantum algorithms

Panel:

HS1 - Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology

Host institution :

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr hab. Marcin Mostowski 

Number of co-investigators in the project: 4

Call: OPUS 6 - announced on 2013-09-16

Amount awarded: 462 000 PLN

Project start date (Y-m-d): 2014-10-01

Project end date (Y-m-d): 2017-03-31

Project duration:: 30 months (the same as in the proposal)

Project status: Project settled

Information in the final report

  • Publication in academic press/journals (4)
  • Articles in post-conference publications (2)
  • Book publications / chapters in book publications (3)
  1. Semantics of the Barwise sentence: insights from expressiveness, complexity and inference
    Authors:
    Dariusz Kalociński, Michał Tomasz Godziszewski
    Academic press:
    Linguistics and Philosophy (rok: 2018, tom: 41, strony: 423-455), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s10988-018-9231-5 - link to the publication
  2. A modal logic of a truth definition for finite models
    Authors:
    Marek Czarnecki, Konrad Zdanowski
    Academic press:
    Fundamenta Informaticae (rok: 2019, ), Wydawca: IOS Press
    Status:
    Accepted for publication
    DOI:
    brak - link to the publication
  3. Truth in the limit
    Authors:
    Marcin Mostowski
    Academic press:
    Reports on Mathematical Logic (rok: 2016, tom: 51, strony: 75-89), Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
    Status:
    Published
    DOI:
    10.4467/20842589RM.16.006.5283 - link to the publication
  4. Some Remarks on Least Moduli
    Authors:
    Dariusz Kalociński
    Academic press:
    Fundamenta Informaticae (rok: 2019, ), Wydawca: IOS Press
    Status:
    Accepted for publication
    DOI:
    brak - link to the publication
  1. Concrete mathematics. Finitistic approach to foundations.
    Authors:
    Marcin Mostowski, Marek Czarnecki
    Conference:
    24th Workshop on Logic Language Information and Computation (WoLLIC 2017) (rok: 2017, ), Wydawca: Springer
    Data:
    konferencja 18-21 lipca 2017
    Status:
    Published
  2. Quantifier Learning: An Agent-based Coordination Model
    Authors:
    Dariusz Kalociński, Nina Gierasimczuk, Marcin Mostowski
    Conference:
    International Conference on Autonomous Agents and Multiagent Systems (rok: 2015, ), Wydawca: International Foundation for Autonomous Agents and Multiagent Systems
    Data:
    konferencja 4-8 maja 2015
    Status:
    Published
    DOI:
    link to the publication
  1. Andrzej Mostowski, a biographical note
    Authors:
    Marcin Mostowski
    Book:
    Lvov-Warsaw school. Past and Present. (rok: 2018, tom: -, strony: 551-554), Wydawca: Birkhäuser Verlag
    Status:
    Published
  2. Foundations and Philosophy of Mathematics in Warsaw, The school of Andrzej Mostowski and philosophy
    Authors:
    Marcin Mostowski
    Book:
    Lvov-Warsaw school. Past and Present. (rok: 2018, tom: -, strony: 555-565), Wydawca: Birkhäuser Verlag
    Status:
    Published
  3. Experimental Logics as a Model of Development of Deductive Science and Computational Properties of Undecidable Sentences
    Authors:
    Michał Tomasz Godziszewski
    Book:
    Making it Formally Explicit, Probability, Causality and Indeterminism (rok: 2017, tom: 6, strony: 231-242), Wydawca: Springer
    Status:
    Published
    DOI:
    link to the publication

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy