Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

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

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr hab. Zofia Kostrzycka 

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

Information in the final report

  • Publication in academic press/journals (4)
  • Articles in post-conference publications (6)
  1. Normal modal logics determined by aligned clusters
    Authors:
    Zofia Kostrzycka, Yutaka Miyazaki
    Academic press:
    Studia Logica (rok: 2017, tom: 105, strony: 45302), Wydawca: Institute of Philosophy and Sociology of the Polish Academy of Sciences and Springer
    Status:
    Published
    DOI:
    10.1007/s11225-016-9679-7 - link to the publication
  2. All splitting logics in the lattice NEXT(KTB.3'A)
    Authors:
    Zofia Kostrzycka
    Academic press:
    Scientific Issues Jan Długosz University in Częstochowa (rok: 2016, tom: Mathematics XXI, strony: 31-61), Wydawca: Akademia Jana Długosza w Częstochowie
    Status:
    Published
    DOI:
    10.16926/m.2016.21.04 - link to the publication
  3. On Hallden completeness of modal logics determined by homogeneous Kripke frames
    Authors:
    Zofia Kostrzycka
    Academic press:
    Bulletin of the Section of Logic (rok: 2015, tom: 44:3/4, strony: 45311), Wydawca: University of Łódź
    Status:
    Published
    DOI:
    brak - link to the publication
  4. On linear Brouwerian logics
    Authors:
    Zofia Kostrzycka
    Academic press:
    Mathematical Logic Quarterly (rok: 2014, tom: 60, 4-5, strony: 304-313), Wydawca: Wiley
    Status:
    Published
    DOI:
    10.1002/malq.201200075 - link to the publication
  1. On modal logics determind by homogenous Kripke frames. Abstrakt
    Authors:
    Zofia Kostrzycka
    Conference:
    Applications of Logic in Philosophy and the Foundations of Mathematics XIX (rok: 2014, ), Wydawca: Uniwersytet Wrocławski
    Data:
    konferencja 5-9.05.2014
    Status:
    Published
  2. On structure of the lattice of linear Brouwer modal logics. Abstrakt
    Authors:
    Zofia Kostrzycka
    Conference:
    60 Conference of the history of logic (rok: 2014, ), Wydawca: Uniwersytet Jagielloński
    Data:
    konferencja 21-22.10.2014
    Status:
    Published
  3. Interpolation in Brouwer logics determined by k-branching nets of clusters
    Authors:
    Zofia Kostrzycka
    Conference:
    Topology, Algebra, and Categories in Logic 2015 (rok: 2015, ), Wydawca: Univerity of Salerno
    Data:
    konferencja 21-26.06.2015
    Status:
    Published
  4. On Brouwer logics determined by k-branching nets of clusters
    Authors:
    Zofia Kostrzycka
    Conference:
    Applications of Algebra in Logic and Computer Science XIX (rok: 2015, ), Wydawca: Akademia J. Długosza w Częstochowie
    Data:
    konferencja 9-14.03.2015
    Status:
    Published
  5. On Hallden completeness in Brouwer Logics determined by nets of clusters
    Authors:
    Zofia Kostrzycka
    Conference:
    Applications of Logic in Philosophy and the Foundations of Mathematics (rok: 2015, ), Wydawca: Uniwersytet Wrocławski
    Data:
    konferencja 4-8.05.2015
    Status:
    Published
  6. On Hallden complete modal logics determined by homogeneous frames. Abstrakt
    Authors:
    Zofia Kostrzycka
    Conference:
    Logic Colloquium (rok: 2014, ), Wydawca: Kurt Godel Society
    Data:
    konferencja 14-19.07.2014.
    Status:
    Published

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy