In this paper we present a propositional deontic logic, with the goal of using it to specify fault-tolerant systems, and an axiomatization of it.
In this paper we present a propositional deontic logic, with the goal of using it to specify fault-tolerant systems, and an axioma- tization of it. We prove ...
In this paper we present a propositional deontic logic, with the goal of using it to specify fault-tolerant systems, and an axiomatization of it.
This paper presents a propositional deontic logic, with the goal of using it to specify fault-tolerant systems, and an axiomatization of it, ...
Summary *. In this paper we present a propositional deontic logic, with the goal of using it to specify fault-tolerant systems, and an axiomatization of it.
Overview. authors. Castro, Pablo F; Maibaum, Thomas. status. published. publication date. January 1, 2007. has subject area.
A Complete and Compact Propositional Deontic Logic. - dblp
dblp.dagstuhl.de › rec › ictac › CastroM07
Bibliographic details on A Complete and Compact Propositional Deontic Logic.
People also ask
What is an example of deontic logic?
What is deontic logic in law?
What is deontic reasoning?
Deontic logic is the field of philosophical logic that is concerned with obligation, permission, and related concepts. Alternatively, a deontic logic…
Deontic logic is concerned with the logical analysis of such normative no- tions as obligation, permission, right and prohibition. Although its origins.
Feb 7, 2006 · Standard Deontic Logic (SDL) is the most cited and studied system of deontic logic, and one of the first deontic logics axiomatically specified.
Missing: Compact | Show results with:Compact