Home

Artykuły (WFiNS) Przeglądanie wg słów kluczowych "normal modal logics K45, KB4 and KD45"

Repozytorium Uniwersytetu Mikołaja Kopernika

Artykuły (WFiNS) 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 ...