SUN, Xin ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Huimin, Dong
External co-authors :
yes
Language :
English
Title :
Stratified action negation for dynamic logic
Publication date :
2014
Event name :
26th BENELUX Conference on Artificial Intelligence(BNAIC)
Event date :
from 06-11-2015 to 07-11-2015
Main work title :
26th BENELUX Conference on Artificial Intelligence (BNAIC)
Jan Broersen. Relativized action negation for dynamic logics. In P. Balbiani, N-Y. Suzuki, F. Wolter, and M. Zakharyaschev, editors, Advances in Modal Logic, volume 4, pages 51–70, 2003.
Jan Broersen. Action negation and alternative reductions dynamic deontic logics. Journal of applied logic, 2004.
Giuseppe De Giacomo and Maurizio Lenzerini. Pdl-based framework for reasoning about actions. In Marco Gori and Giovanni Soda, editors, Topics in Artificial Intelligence, volume 992 of Lecture Notes in Computer Science, pages 103–114. Springer Berlin Heidelberg, 1995.
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about knowledge. MIT Press, 1995.
D. Harel, D. Kozen, and J. Tiuryn. Dynamic logic. The MIT Press, 2000.
John Jule Meyer. A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic, pages 109–136, 1988.
Ewa Orlowska. Dynamic logic with program specifications and its relational proof system. Journal of Applied Non-Classical Logics, 3(2):147–171, 1993.
Solomon Passy and Tinko Tinchev. Pdl with data constants. Information Processing Letters, 20(1):35–41, 1985.
Ron van der Meyden. The dynamic logic of permission. Journal of Logic and Computation, 6:465–479, 1996.
Heinrich Wansing. On the negation of action types: Constructive concurrent pdl. Dresden Preprints in theoretical philosophy and philosophical logic, 2004.