FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

C
Ciabattoni, Agata	Effective Translations between Display and Labelled Proofs for Tense Logics
D
Dalmonte, Tiziano	Toward intuitionistic non-normal modal logic and its calculi
Das, Anupam	Cyclic proofs, hypersequents and Kleene algebra - Invited Talk
F
Ferrari, Mauro	A Forward Calculus for Countermodel Construction in IPL
Fiorentini, Camillo	A Forward Calculus for Countermodel Construction in IPL
G
Galmiche, Didier	Proof Translations in BI logic
Girlando, Marianna	Hypersequent calculus for the logic of conditional belief: preliminary results
Grellois, Charles	Toward intuitionistic non-normal modal logic and its calculi
K
Kawano, Tomoaki	Sequent Calculi for Logic that Includes an Infinite Number of Modalities
L
Lellmann, Bjoern	Hypersequent calculus for the logic of conditional belief: preliminary results
Lyon, Tim	Effective Translations between Display and Labelled Proofs for Tense Logics
M
Marti, Michel	Proof Translations in BI logic
Mery, Daniel	Proof Translations in BI logic
N
Negri, Sara	Proof theory for quantified monotone modal logics
O
Olivetti, Nicola	Toward intuitionistic non-normal modal logic and its calculi Hypersequent calculus for the logic of conditional belief: preliminary results
Orlandelli, Eugenio	Proof theory for quantified monotone modal logics
P
Pattinson, Dirk	Title TBA - Invited talk
R
Ramanayake, Revantha	Effective Translations between Display and Labelled Proofs for Tense Logics
T
Tiu, Alwen	Effective Translations between Display and Labelled Proofs for Tense Logics
W
Więckowski, Bartosz	Intuitionistic multi-agent subatomic natural deduction for belief and knowledge

Disclaimer | Powered by EasyChair Smart Program