170 search results - page 12 / 34 » Contextual Deontic Logic |
DLOG
2011
14 years 1 months ago
2011
We introduce an extension of Description Logics (DLs) for representing and reasoning about contextualized knowledge. Our formalism is inspired by McCarthy’s theory of formalizing...
WOLLIC
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...
SYNTHESE
2008
14 years 10 months ago
2008
ABSTRACT. In this paper, illocutionary acts of commanding will be differentiated from perlocutionary acts that affect preferences of addressees in a new dynamic logic which combine...
CSL
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...
85
Voted
ISMIS
2005
Springer
15 years 3 months ago
2005
Springer
Deontic logic is appropriate to model a wide variety of legal arguments, however this logic suffers form certain paradoxes of which the so-called Chisholm is one of the most notor...