Přejít k hlavnímu obsahu
Boční panel
DL 1
Titulní stránka
Kalendář
Podpora uživatelů
Moodleoffice
Moodle tutoriál
Podpora uživatelů
Návody
GDPR
Další
Čeština (cs)
Čeština (cs)
Deutsch (de)
English (en)
Français (fr)
Русский (ru)
Momentálně na stránky přistupujete s právy hosta.
Přihlášení
DL 1
Titulní stránka
Kalendář
Podpora uživatelů
Sbalit
Rozbalit
Moodleoffice
Moodle tutoriál
Podpora uživatelů
Návody
GDPR
Rozbalit vše
Sbalit vše
Otevřít indexu kurzu
Non-classical Logics ALG500014
Proof Theory of Modal Logics
Comparing Modal Sequent Systems
Comparing Modal Sequent Systems
Požadavky na absolvování
Klikněte na odkaz
Restall_comparingmodal.pdf
pro zobrazení souboru.
◄ Survey of display calculi
Přejít na aktivitu
Přejít na aktivitu
Novinky
Intuitionistic Logic Lecture Notes
van Dalen - Intuitionistic Logic
LaS Chapter 5
Smorynski
V. Švejdar
R. Dyckhoff
Algebras and Duality
NMR: Modal duality - slides
Survey of display calculi
Proof theory for modal logic
SEQUENT SYSTEMS FOR MODAL LOGICS
Nested Sequents
FDE An Introductory overview
FDE and its relatives
Reasoning with inconsistent information (PhD Thesis)
Constructive negation, implication and co-implication
Reasoning with belief functions over Belnap--Dunn logic
Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory
Proof theory for modal logic ►