Constrained I/o Logics Handout
(2015) : Parent, X van der Torre, L
url: http://xp.3pts.net/pdf/teach/handia2/ciol.pdf
#input_output_logics #my_bibtex
Input/output Logics
(2000) : Makinson, David Van Der Torre,...
DOI: https://doi.org/10.1023/A:1004748624537
#input_output_logics #logic #my_bibtex
The Ontological Properties of Social Roles in Multi-Agent Systems: Definitional Dependence, Powers and Roles Playing Roles
(2007) : Boella, Guido and Van Der Torre, Leendert
DOI: https://doi.org/10.1007/s10506-007-9030-8
#MAS #input_output_logics #in
#my_bibtex
Constrained I/o Logics Handout
(2015) : Parent, X and van der Torre, L
url: http://xp.3pts.net/pdf/teach/handia2/ciol.pdf
#input_output_logics
#my_bibtex
Intuitionistic basis for input/output logic
(2014) : Parent, Xavier and Gabbay, Dov and van der Torre, Leendert
DOI: https://doi.org/10.1007/978-94-007-7759-0_13
#deontic_logic #input_output_logics #intuitional_logic #semantics
#my_bibtex