ABSTRACT:
In this thesis, we present an extension on deontic logic, named input/output logic. Deontic Logic is a branch of modal logic, that considers the statements about ``obligation", ``permission" and ``prohibition", and introduced by von Wright in 1951. But many paradoxis are generated for deontic logic. for this reason, several extentions introduced for solving the paradoxis. One of the newer extension is input/output logics that introduced by David Makinson and Leendert van der Torre in 2000. The contraints for input/output logic published in 2001. When we use this constraints in out deduction about obligations, will be sure that paradoxis won't appear. The notion of permissions based on input/output logic introduced in 2003, and therefore all notions in deontic logic enterd in input/output logic.
By this logic we present conditional obligation by order pair (a,x). a is the conditions is happend and x is the obligation in this conditions. For example, let a is ``It is raining " and x is ``Window is closed". Therefore (a,x) means ``When it is raining window must be closed". This conditional obligation is present by a®
Input/output logic is suitable for considering normative systems. The notion of normative system in deontic logic was introdused by