Home

Wydział Filozofii i Nauk Społecznych / Faculty of Philosophy and Social Sciences Przeglądanie wg słów kluczowych "normal modal logics K45, KB4 and KD45"

Repozytorium Uniwersytetu Mikołaja Kopernika

Wydział Filozofii i Nauk Społecznych / Faculty of Philosophy and Social Sciences Przeglądanie wg słów kluczowych "normal modal logics K45, KB4 and KD45"

Sortuj wg: Porządek: Wyników:

  • Simplified Kripke style semantics for modal logics K45, KB4 and KD45 
    Pietruszczak, Andrzej (Lodz University Press, 2009)
    In this paper, we show that logics K45, KB4 (= KB5) and KD45 are determined by some classes of simplified Kripke frames without binary accessibility relations between possible worlds. These frames are ordered pairs of sets ...