Home

Wydział Filozofii i Nauk Społecznych / Faculty of Philosophy and Social Sciences Przeglądanie wg słów kluczowych "simplified Kripke style semantics"

Repozytorium Uniwersytetu Mikołaja Kopernika

Wydział Filozofii i Nauk Społecznych / Faculty of Philosophy and Social Sciences Przeglądanie wg słów kluczowych "simplified Kripke style semantics"

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 ...
  • Simplified Kripke style semantics for some very weak modal logics 
    Pietruszczak, Andrzej (2010-03-30)
    In the present paper we examine very weak modal logics C1, D1, E1, S0.5◦, S0.5◦+(D), S0.5 and some of their versions which are closed under replacement of tautological equivalents (rte-versions). We give semantics for these ...