Перейти к основному содержанию
Боковая панель
DL 1
В начало
Календарь
More
Русский (ru)
Русский (ru)
Čeština (cs)
Deutsch (de)
English (en)
Français (fr)
Вы используете гостевой доступ
Вход
DL 1
В начало
Календарь
Развернуть всё
Свернуть всё
Open course index
Non-classical Logics ALG500014
Proof Theory of Modal Logics
Proof theory for modal logic
Proof theory for modal logic
Требуемые условия завершения
Нажмите на ссылку
Negri_ptml_final.pdf
, чтобы просмотреть файл.
◄ Comparing Modal Sequent Systems
Jump to activity
Jump to activity
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
Comparing Modal Sequent Systems
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
SEQUENT SYSTEMS FOR MODAL LOGICS ►