Logics Modulo Theories: a logical framework for multi-agent systems
Lito Perez Cruz, John Newsome Crossley · Logic Journal of IGPL · 2015
Journal Article Logics Modulo Theories: a logical framework for multi-agent systems Get access Lito Perez Cruz, Lito Perez Cruz * Caulfield School of IT, Monash University, Faculty of IT, 900 Dandenong Rd, Caulfield East, Victoria 3145, Australia. *E-mail: [email protected] Search for other works by this author on: Oxford Academic Google Scholar John Newsome Crossley John Newsome Crossley Clayton School of IT, Monash University, Clayton, Victoria 3800, Australia. Search for other works by this author on: Oxford Academic Google Scholar Logic Journal of the IGPL, Volume 23, Issue 4, August 2015, Pages 553–583, https://doi.org/10.1093/jigpal/jzv002 Published: 18 March 2015 Article history Received: 01 August 2014 Published: 18 March 2015