Satisfiability for First-order Logic as a Non-Modal Deontic Logic

Abstract

In modal deontic logics, the focus is on inferring logical consequences, for example inferring whether or not an obligation O mail, to mail a letter, logically implies O [mail  burn] ,an obligation to mail or burn the letter. Here I present an alternative approach in which obligations are sentences (such as mail) in first-order logic (FOL), and the focus… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics