Implicates and reduction techniques for temporal logics I.P. de GuzmánM. Ojeda‐AciegoA. Valverde OriginalPaper Pages: 3 - 23
Persistence and minimality in epistemic logic Wiebe van der HoekJan JasparsElias Thijsse OriginalPaper Pages: 25 - 47
Contrary‐to‐duty reasoning with preference‐based dyadic obligations Leendert van der TorreYao‐Hua Tan OriginalPaper Pages: 49 - 78
Propositional lower bounds: Algorithms and complexity Marco CadoliLuigi PalopoliFrancesco Scarcello OriginalPaper Pages: 129 - 148
A model and a first analysis of distributed‐search contraction‐based strategies Maria Paola Bonacina OriginalPaper Pages: 149 - 199