Back to Results
First PageMeta Content
Deontic logic / Modal operator / Epistemic modal logic / Norm / Kripke semantics / Linguistic modality / Axiom / Interpretation / Formal ethics / Logic / Mathematical logic / Modal logic


Extending interpreted systems with some deontic concepts* Alessio Lomuscio Marek Sergot Department of Computing Imperial College of Science, Technology and Medicine London SW7 2BZ, United Kingdom
Add to Reading List

Document Date: 2011-10-23 10:31:52

Open Document

File Size: 833,78 KB

Share Result on Facebook

Company

Oi / Ge / Ki / /

Currency

USD / cent / /

/

Facility

Computing Imperial College of Science / /

IndustryTerm

modal logic systems / doubly-indexed operator / deontic systems / obligation operator / bare interpreted systems / modal operator / indexed epistemic operator / deontic interpreted systems / safety critical systems / indexed modal operator / interpreted deontic systems / particular multi-agent systems / particular protocol / possible applications / /

Organization

concepts* Alessio Lomuscio Marek Sergot Department / College of Science / European Union / /

Person

Marek Sergot / /

Product

Koss P 4 Headphone/Headset / /

Technology

intended protocol / cryptography / particular protocol / functioning protocol / /

SocialTag