A study on the model checking for deontic logic

Proceedings - 3rd International Conference on Convergence and Hybrid Information Technology, ICCIT 2008

Volumn 2, Issue , 2008, Pages 832-835

  Koo, Jarok ^a  

^a University of Ulsan   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION TECHNOLOGY; INFORMATION THEORY; MULTI AGENT SYSTEMS;

DEONTIC INTERPRETED SYSTEMS; DEONTIC LOGICS; POSSIBLE SOLUTIONS; POSSIBLE WORLDS;

MODEL CHECKING;

EID: 57849102067     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICCIT.2008.240     Document Type: Conference Paper

References (12)

1. J.-J. Ch. Meyer, R.J. Wieringa, F.P.M. Dignum, "The Role of Deontic Logic in the Specification of Information Systems", Phil. Trans. Roy. Soc. London, vol. A247, pp. 529-551, April 1955.
2. G.H. von Wright, "Deontic Logic", Mind 60, 1951, pp. 1-15.
3. Franco Raimondi, "Model Checking Multi-Agent Systems", Ph.D. thesis, University of London, 2006.
4. R. Fagin, J.Y. Halpern, Y. Moses, MY. Vardi, Reasoning about Knowledge, MIT Press, Cambridge, MA,.
5. M.R.A. Huth, M.D. Ryan, Logic in Computer Science: Modeling and Reasoning about Systems, Cambridge University Press, Cambridge, England, 2000.
6. A. Lomuscio, M. Sergot, "Deontic interpreted systems", Studia Logica 75 (1) (2003) 63-92.
7. Franco Raimondi, Alessio Lomuscio, "Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams", Journal of Applied Logic, pp. 235-251, 2007.
8. Julien Brunei, Jean-Paul Bodeveix, and Mamoun Filali, "A State/Event Temporal Deontic Logic", DEON 2006, LNAI 4048, pp. 85-100, 2006.
9. Clark, Grumberg, and Peled, Model Checking, The MIT Press, 1999.
10. Chung-hye Han, Deontic Modality, Lexical Aspect and the Semantics of Imperatives, Linguistics in the Morning Calm 4, Hanshin Publications, Seoul.
11. Kratzer, A., "Conditionals", Parasession on Pragmatics and Grammatical Theory, Chicago Linguistics Society, 1986.
12. Stefan Kaufmann, Cleo Condoravdi and Valentina Harizanov, "Formal Approaches to Modality", in the expression of modality, 2006.