Pdl As a Multi-Agent Strategy Logic
(2013) : Van Eijck, Jan
url: http://www.tark.org/
#EMASL #MAS #MASL #PDL #calculus #coalition_logic #epistemology #game_theory #propositional_dynamic_logic #social_choice #strategy #voting
#my_bibtex

A Dynamic Logic of Agency I: Stit, Capabilities and Powers
(2009) : Herzig, Andreas and Lorini, Emiliano
DOI: https://doi.org/10.1007/s10849-009-9105-x
#ATL #STIT #STIT_logic #agency #coalition_logic #deontic_logic #temporal_logic
#my_bibtex