Add to ORKGA shallow semantical embedding of a dyadic deontic logic (by Carmo and Jones) in Isabelle/HOL is presented. First experiments provide evidence that this logic implementation fruitfully enables interactive and automated reasoning at the meta-level the object-level
Standard deontic logic (SDL) is defined on the basis of possible world semantics and is a logic of a...
Abstract. Isabelle [28, 30] is an interactive theorem prover that supports a variety of logics. It r...
AbstractThis paper begins the development of new types of deontic operators, particularly ones whose...
We have devised a shallow semantical embedding of a dyadic deontic logic (by B.Hansson and \AA{}qvis...
peer reviewedA shallow semantical embedding of a dyadic deontic logic by Carmo and Jones in class...
A shallow semantical embedding of a dyadic deontic logic by Carmo and Jones in classical higher-o...
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...
peer reviewedThe LogiKEy workbench and dataset for ethical and legal reasoning is presented. This wo...
In this thesis, the main focus is on deontic logic as a tool for formal representation of moral reas...
Term-modal logic uses modal operators that are indexed with terms of the language,which allows for...
Deontic logic deals with obligation, permission and related normative concepts. This textbook introd...
In order to deal with the possibility of deontic conflicts Lou Goble developed a group of logics (DP...
International audienceWe propose a normal modal deontic logic based on a dyadic operator, similar in...
Standard deontic logic (SDL) is defined on the basis of possible world semantics and is a logic of a...
Abstract. Isabelle [28, 30] is an interactive theorem prover that supports a variety of logics. It r...
AbstractThis paper begins the development of new types of deontic operators, particularly ones whose...
We have devised a shallow semantical embedding of a dyadic deontic logic (by B.Hansson and \AA{}qvis...
peer reviewedA shallow semantical embedding of a dyadic deontic logic by Carmo and Jones in class...
A shallow semantical embedding of a dyadic deontic logic by Carmo and Jones in classical higher-o...
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...
peer reviewedThe LogiKEy workbench and dataset for ethical and legal reasoning is presented. This wo...
In this thesis, the main focus is on deontic logic as a tool for formal representation of moral reas...
Term-modal logic uses modal operators that are indexed with terms of the language,which allows for...
Deontic logic deals with obligation, permission and related normative concepts. This textbook introd...
In order to deal with the possibility of deontic conflicts Lou Goble developed a group of logics (DP...
International audienceWe propose a normal modal deontic logic based on a dyadic operator, similar in...
Standard deontic logic (SDL) is defined on the basis of possible world semantics and is a logic of a...
Abstract. Isabelle [28, 30] is an interactive theorem prover that supports a variety of logics. It r...
AbstractThis paper begins the development of new types of deontic operators, particularly ones whose...