Abstract
This paper studies a logic that combines deontic and temporal aspects. We first present a state/event temporal formalism and define a deontic extension of it. Then, we study the interaction between the temporal dimension and the deontic dimension. We present some logical properties, concerning formulas where deontic and temporal operators are nested, and discuss their intuitive meaning. We focus more particularly on the properties of obligation with deadline and define a specific operator to express this notion.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Anderson, A.R.: A reduction of deontic logic to alethic modal logic. Mind, 100–103 (1958)
Aqvist, L.: Combinations of tense and deontic logic. Journal of Applied Logic 3, 421–460 (2005)
Broersen, J., Dignum, F.P.M., Dignum, V., Meyer, J.-J.C.: Designing a deontic logic of deadlines. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS, vol. 3065, pp. 43–56. Springer, Heidelberg (2004)
Chaki, S., Clarke, E., Grumberg, O., Ouaknine, J., Sharygina, N., Touili, T., Veith, H.: State/event software verification for branching-time specifications. In: Romijn, J.M.T., Smith, G.P., van de Pol, J. (eds.) IFM 2005. LNCS, vol. 3771, pp. 53–69. Springer, Heidelberg (2005)
Chaki, S., Clarke, E.M., Ouaknine, J., Sharygina, N., Sinha, N.: State/Event-based software model checking. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol. 2999, pp. 128–147. Springer, Heidelberg (2004)
Clarke, E., Emerson, E.: Design and synthesis of synchronization skeletons using branching-time temporal logic. In: Kozen, D. (ed.) Logic of Programs 1981. LNCS, vol. 131, pp. 52–71. Springer, Heidelberg (1982)
Cuppens, F., Cuppens-Boulahia, N., Sans, T.: Nomad: a security model with non atomic actions and deadlines. In: Proceedings of the 18th IEEE Computer Security Foundations Workshop (June 2005)
Cuppens, F., Saurel, C.: Towards a formalization of availability and denial of service. In: Information Systems Technology Panel Symposium on Protecting Nato Information Systems in the 21st Century, Washington (1999)
d’Altan, P., Meyer, J.-J.C., Wieringa, R.: An integrated framework for ought-to-be and ought-to-do constraints. Artif. Intell. Law 4(2), 77–111 (1996)
Dignum, F., Kuiper, R.: Obligations and dense time for specifying deadlines. In: Thirty-First Annual Hawaii International Conference on System Sciences (HICSS), vol. 5 (1998)
Gabbay, D.M., Kurucz, A., Wolter, F., Zakharyachev, M.: Many-Dimensional Modal Logics: Theory and Applications. Elsevier, Amsterdam (2003)
Harel, D., Kozen, D., Tiuryn, J.: Dynamic logic. In: Gabbay, D., Guenther, F. (eds.) Handbook of Philosophical Logic Volume II — Extensions of Classical Logic, pp. 497–604. D. Reidel Publishing Company, Dordrecht (1984)
Henriksen, J.G., Thiagarajan, P.S.: Dynamic linear time temporal logic. Annals of Pure and Applied Logic 96(1-3), 187–207 (1999)
Kalam, A.A.E., Baida, R.E., Balbiani, P., Benferhat, S., Cuppens, F., Deswarte, Y., Miège, A., Saurel, C., Trouessin, G.: Organization based access control. In: IEEE 4th International Workshop on Policies for Distributed Systems and Networks (Policy 2003), Lake Come, Italy (June 2003)
Lomuscio, A., Sergot, M.J.: On multi-agent systems specification via deontic logic. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS, vol. 2333, p. 86. Springer, Heidelberg (2002)
Meyer, J.-J.C.: A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic (1988)
Meyer, J.-J.C., Wieringa, R., Dignum, F.: The role of deontic logic in the specification of information systems. In: Logics for Databases and Information Systems, pp. 71–115 (1998)
Pnueli, A.: The temporal semantics of concurrent programs. Theoretical Computer Science 13, 45–60 (1981)
Queille, J.-P., Sifakis, J.: Specification and verification of concurrent systems in cesar. In: Dezani-Ciancaglini, M., Montanari, U. (eds.) Programming 1982. LNCS, vol. 137, pp. 337–351. Springer, Heidelberg (1982)
van der Torre, L.W.N., Hulstijn, J., Dastani, M., Broersen, J.: Specifying multiagent organizations. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS, vol. 3065, pp. 243–257. Springer, Heidelberg (2004)
Wieringa, R.J., Meyer, J.-J.C.: Applications of Deontic Logic in Computer Science: A Concise Overview, pp. 17–40. John Wiley & Sons, Chichester (1993)
Woz̀na, B., Lomuscio, A., Penczek, W.: Bounded model checking for deontic interpreted systems. Electronic Notes in Theoretical Computer Science 126, 93–114 (2005)
Wright, G.H.V.: Deontic logic. Mind (1951)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brunel, J., Bodeveix, JP., Filali, M. (2006). A State/Event Temporal Deontic Logic. In: Goble, L., Meyer, JJ.C. (eds) Deontic Logic and Artificial Normative Systems. DEON 2006. Lecture Notes in Computer Science(), vol 4048. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11786849_9
Download citation
DOI: https://doi.org/10.1007/11786849_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35842-8
Online ISBN: 978-3-540-35843-5
eBook Packages: Computer ScienceComputer Science (R0)