Combining Dynamic Logic With Doxastic Modal Logics
(2003) : Schmidt, Renate A. Tishkovsky,...
url: http://www.aiml.net/volumes/volume4/
#modal_logic #doxastic_logic #temporal_logic #propositional_dynamic_logic #my_bibtex

A Composable Language for Action Models
(2014) : Tim French and James Hales and Edwin Tay
url: http://www.aiml.net/volumes/volume10/
#MAS #action #action_model_logic #doxastic_logic #epistemic_logic #modal_logic #multi_agent_systems #temporal_epistem
#my_bibtex

Combining Dynamic Logic With Doxastic Modal Logics
(2003) : Renate A. Schmidt and Dmitry Tishkovsky
url: http://www.aiml.net/volumes/volume4/
#doxastic_logic #modal_logic #propositional_dynamic_logic #temporal_logic
#my_bibtex