Projects funded by the NCN
On finitely branching Kripke frames in modal logics
2013/09/B/HS1/00701
Keywords:
modal logic Brouwer systems Kripke frames finite model property lattice of logics
Descriptors:
- HS1_4: Logic, science methodology, philosophy of science
Panel:
HS1 - Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology
Host institution :
Politechnika Opolska, Wydział Inżynierii Produkcji i Logistyki
woj. opolskie
Principal investigator (from the host institution):
Number of co-investigators in the project: 1
Call: OPUS 5 - announced on 2013-03-15
Amount awarded: 55 440 PLN
Project start date (Y-m-d): 2014-03-07
Project end date (Y-m-d): 2015-09-06
Project duration:: 18 months (the same as in the proposal)
Project status: Project settled