3rd Workshop onLogical Reasoning and computation
(LRC'16) |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday, March 4th
|
10:00 - 10:40 |
Session III |
Andreas Herzig: Dynamic epistemic logics: promises, problems, shortcomings, and perspectives |
|
Ivo Düntsch, Ewa Orlowska
and Tinko Tinchev: Mixed algebras and their logics |
|
10:40 - 11:10 |
Coffee break |
11:10 - 11:50 |
Session IV |
Dimiter Vakarelov: Extended Mereotopology Based on Sequent Algebras |
|
Pedro Cabalar, David Pearce
and Agustín Valverde: Stable Reasoning |
|
11:50 - 12:10 |
Short talks / panel
session |
12:10 - 14:00 |
Lunch buffet |
14:00 - 14:40 |
Session V |
Robert Demolombe: Reasoning about Trust and Aboutness in the Context of Communication |
|
Edward Hermann Haeusler and
Alexandre Rademaker: On How Kelsenian Jurisprudence and Intuitionistic Logic help to avoid Contrary-to-Duty paradoxes in Legal Ontologies |
|
14:40 - 15:10 |
Rump session |
15:10 - 15:40 |
Coffee break |
15:40 - 16:40 |
Session VI |
Alfredo Burrieza, Emilio
Muñoz-Velasco and Manuel Ojeda-Aciego: A multimodal logic for closeness |
|
Mohua Banerjee, Didier
Dubois, Lluis Godo and Henri Prade: On the relation between possibilistic logic and modal logics of belief |
|
Felicidad Aguado, Pedro
Cabalar, Martín Diéguez, Gilberto Pérez
and Concepción Vidal: Temporal Equilibrium Logic with Past Operators |
|
16:40 - 16:50 |
Video |
17:00 |
Reception |
29/3/2016: slides uploaded
18/3/2016: proceedings uploaded
18/3/2016: webpage update