Periodic Reporting for period 1 - REMODEL (Structures for modal and deontic logics)

The aim of the REMODEL project is to provide a logical framework to describe, analyze and explain normative reasoning. At its core, the project is concerned with advancing logical methods for the study of deontic logics—a class of non-classical logics designed to formalize...