Add to ORKGA shallow semantical embedding of a dyadic deontic logic by Carmo and Jones in classical higher-order logic is presented. This embedding is proven sound and complete, that is, faithful. The work presented here provides the theoretical foundation for the implementation and automation of dyadic deontic logic within off-the-shelf higher-order theorem provers and proof assistants
International audienceWe propose a normal modal deontic logic based on a dyadic operator, similar in...
Term-modal logic uses modal operators that are indexed with terms of the language,which allows for...
There has been a recent surge of work on deontic modality within philosophy of language. This work h...
A shallow semantical embedding of a dyadic deontic logic by Carmo and Jones in classical higher-or...
peer reviewedA shallow semantical embedding of a dyadic deontic logic by Carmo and Jones in class...
We have devised a shallow semantical embedding of a dyadic deontic logic (by B.Hansson and \AA{}qvis...
A shallow semantical embedding of a dyadic deontic logic (by Carmo and Jones) in Isabelle/HOL is pre...
We devise a shallow semantical embedding of \AA{}qvist's dyadic deontic logic {\bf E} in classical h...
A shallow semantical embedding of Input/Output logic in classical higher-order logic is presented, a...
Deontic logic (DL) is increasingly recognized as an indispensable tool in such application areas as ...
Deontic logic (DL) is increasingly recognized as an indispensable tool in such application areas as ...
This thesis consists of two main chapters which connect two areas of deontic logic and justification...
In this paper we describe an algorithmic framework for a multi-modal logic arising from the combinat...
Standard deontic logic (SDL) is defined on the basis of possible world semantics and is a logic of a...
AbstractIn order to avoid the paradoxes of standard deontic logic, we have to give up the semantic c...
International audienceWe propose a normal modal deontic logic based on a dyadic operator, similar in...
Term-modal logic uses modal operators that are indexed with terms of the language,which allows for...
There has been a recent surge of work on deontic modality within philosophy of language. This work h...
A shallow semantical embedding of a dyadic deontic logic by Carmo and Jones in classical higher-or...
peer reviewedA shallow semantical embedding of a dyadic deontic logic by Carmo and Jones in class...
We have devised a shallow semantical embedding of a dyadic deontic logic (by B.Hansson and \AA{}qvis...
A shallow semantical embedding of a dyadic deontic logic (by Carmo and Jones) in Isabelle/HOL is pre...
We devise a shallow semantical embedding of \AA{}qvist's dyadic deontic logic {\bf E} in classical h...
A shallow semantical embedding of Input/Output logic in classical higher-order logic is presented, a...
Deontic logic (DL) is increasingly recognized as an indispensable tool in such application areas as ...
Deontic logic (DL) is increasingly recognized as an indispensable tool in such application areas as ...
This thesis consists of two main chapters which connect two areas of deontic logic and justification...
In this paper we describe an algorithmic framework for a multi-modal logic arising from the combinat...
Standard deontic logic (SDL) is defined on the basis of possible world semantics and is a logic of a...
AbstractIn order to avoid the paradoxes of standard deontic logic, we have to give up the semantic c...
International audienceWe propose a normal modal deontic logic based on a dyadic operator, similar in...
Term-modal logic uses modal operators that are indexed with terms of the language,which allows for...
There has been a recent surge of work on deontic modality within philosophy of language. This work h...