Specifying Deadlines with Continuous Time Using Deontic and Temporal Logic

International Journal of Electronic Commerce

Volumn 3, Issue 2, 1998, Pages 67-85

  Dignum, Frank ^a   Kuiper, Ruurd ^a  

^a NONE

Author keywords

Actions; Deadlines; Deontic logic; Temporal logic

Indexed keywords

EID: 0042636612     PISSN: 10864415     EISSN: None     Source Type: Journal    
DOI: 10.1080/10864415.1998.11518334     Document Type: Article

References (22)

1. Allen, J.F. An interval-based representation of temporal knowledge. In Proceedings of the Seventh International Joint Conference on Artificial Intelligence. San Francisco: Morgan Kaufmann, 1981, pp. 221-226.
2. Barringer, H.; Kuiper, R.; and Pnueli, A. Now you may compose temporal logic specifications. In Proceedings of the Sixteenth ACM Symposium on Theory of Computing. New York: ACM, 1984, pp. 51-63.
3. Barringer, H.; Kuiper, R.; and Pnueli, A. A really abstract concurrent model and its temporal logic. In Proceedings of the Thirteenth ACM Symposium on Principles of Programming Languages. New York: ACM, 1986, pp. 173-183.
4. Belnap, N., and Perloff, M. Seeing to it that: A canonical form to agentives. Theoria, 54 (1988), 175-199.
5. Bons, R.; Dignum, F.; Lee, R.; and Tan, Y-H. A formal specification of automated auditing of trustworthy trade procedures for open electronic commerce. In Castelfranchi, C., et al. (eds.), International Workshop on Deception, Fraud, and Trust in Agent Societies. Amsterdam: Kluwer, forthcoming 1999, pp. 21-34.
6. Chisholm, R.M. Contrary-to-duty imperatives and deontic logic. Analysis 24 (1963), 33-36.
7. Dignum, F., and Kuiper, R. Combining dynamic deontic logic and temporal logic for the specification of deadlines. In Sprague, R., Jr. (ed.), Proceedings of the Thirtieth Hawaii International Conference on System Sciences, vol. 5. Los Alamitos, CA: IEEE Computer Society Press, 1997, pp. 336-348.
8. Dignum, F.; Kuiper, R.; and Meyer, J.-J. Ch. An investigation into deontics of durative actions. In McNamara, P., and Prakken, H. (eds.), Fourth International Workshop on Deontic Logic in Computer Science (DEON98). Bologna: Bologna University Press, 1998, pp. 179-196.
9. Eck, J.A. van. A system of temporally relative modal and deontic predicate logic and its philosophical applications (1). Logique et Analyse, 99 (1982), 249-290.
10. Eck, J.A. van. A system of temporally relative modal and deontic predicate logic and its philosophical applications (2). Logique et Analyse, 100 (1982), 339-381.
11. Fiadeiro, J. and Maibaum, T. Temporal reasoning over deontic specification. Journal of Logic and Computation, 1, 3 (1991), 1-35.
12. Harel, E.; Lichtenstein, O.; and Pnueli, A. Explicit clock temporal logic. In Proceedings of the Symposium on Logic in Computer Science, 1990, pp. 402-413.
13. Hintikka, J. Some main problems of deontic logic. In Hilpinen, R. (ed.), Deontic Logic: Introductory and Systematic Readings. Dordrecht: Reidel, 1971, pp. 59-103.
14. Horty, J.F. Combining agency and obligation. In Brown, M., and Carmo, J. (eds.), Deontic Logic, Agency, and Normative Systems. Berlin: Springer-Verlag, 1996, pp. 98-122.
15. Lee, R.M. A logic model for electronic contracting. Decision Support Systems, 4, 1 (1988), 27-44.
16. Lee, R.M. Bureaucracies as deontic systems. ACM Transactions on Office Information Systems, 6, 2 (1988), 87-108.
17. Meyer, J.-J.Ch. A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic, 29 (1988), 109-136.
18. Meyer, J.-J. Ch., and Wieringa, R.J. Deontic logic: A concise overview. In Meyer, J.-J. Ch., and Wieringa, R.J. (eds.), Deontic Logic in Computer Science: Normative System Specification. Chichester, UK: John Wiley, 1993, pp. 3-16.
19. Meyer, J.-J. Ch.; Wieringa, R.J.; and Dignum, F. The role of deontic logic in the specification of information systems. In Chomicki, J., and Saake, G. (eds.), Logics for Databases and Information Systems. Dordrecht: Kluwer Academic Publishers, 1998, pp. 71-115.
20. Ostroff, J. Temporal Logic for Real-Time Systems. Advanced Software Development Series. Taunton, UK: Research Studies Press, 1989.
21. Thomason, R. Deontic logic as founded on tense logic. In Hilpinen, R. (ed.), New Studies in Deontic Logic. Dordrecht: Reidel, 1981, pp. 165-176.
22. Zhou, P.; Hooman, J.; and Kuiper, R. Compositional verification of real-time systems with explicit clock temporal logic. Formal Aspects of Computing, 8 (1996), 294-323.