Szczegóły obiektu: Some Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal Rules

Podobne obiekty

tile.noImage
tile.noImage
tile.noImage
tile.noImage
tile.noImage
tile.noImage
tile.noImage
tile.noImage
Używamy plików cookies, by nieustannie zwiększać komfort przeglądania naszej strony internetowej. W celu uzyskania szczegółowych informacji, prosimy o zapoznanie się z dokumentem Polityki Prywatności