- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Logics Modulo Theories: a logical framework for multi-agent systems
Logic Journal of the IGPL 23 (4):553-583 (2015)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
The ontological properties of social roles in multi-agent systems: Definitional dependence, powers and roles playing roles. [REVIEW]Guido Boella & Leendert van der Torre - 2007 - Artificial Intelligence and Law 15 (3):201-221.
The method of hypersequents in the proof theory of propositional non-classical logics.Arnon Avron - 1977 - In Wilfrid Hodges (ed.), Logic. New York: Penguin Books. pp. 1-32.
The interrogative model of inquiry meets dynamic epistemic logics.Yacin Hamami - 2015 - Synthese 192 (6):1609-1642.
Escape and intervention in multi-agent systems.G. B. Roest & N. B. Szirbik - 2009 - AI and Society 24 (1):25-34.
Term-modal logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
Executable specification of open multi-agent systems.Alexander Artikis & Marek Sergot - 2010 - Logic Journal of the IGPL 18 (1):31-65.
Logics of Kripke meta-models.Sergey Babenyshev & Vladimir Rybakov - 2010 - Logic Journal of the IGPL 18 (6):823-836.
ML systems: A proof theory for contexts. [REVIEW]Luciano Serafini & Fausto Giunchiglia - 2002 - Journal of Logic, Language and Information 11 (4):471-518.
Multi-agent Justification Logic: communication and evidence elimination. [REVIEW]Bryan Renne - 2012 - Synthese 185 (S1):43-82.
Towards a Logic of Rational Agency.Wiebe van der Hoek & Michael Wooldridge - 2003 - Logic Journal of the IGPL 11 (2):135-159.
Generalizing AGM to a multi-agent setting.Guillaume Aucher - 2010 - Logic Journal of the IGPL 18 (4):530-558.
Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi.Katalin Bimbó & J. Michael Dunn - 2008 - Center for the Study of Language and Inf.
Complexity of logics for multi-agent systems with restricted modal context.M. Dziubinski - 2013 - Logic Journal of the IGPL 21 (3):355-379.
A multi-agent legal recommender system.Lucas Drumond & Rosario Girardi - 2008 - Artificial Intelligence and Law 16 (2):175-207.
Analytics
Added to PP
2016-06-30
Downloads
23 (#696,481)
6 months
6 (#566,625)
2016-06-30
Downloads
23 (#696,481)
6 months
6 (#566,625)
Historical graph of downloads
References found in this work
The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
Many-dimensional modal logics: theory and applications.Dov M. Gabbay (ed.) - 2003 - Boston: Elsevier North Holland.
Many-Dimensional Modal Logics: Theory and Applications.D. M. Gabbay, A. Kurucz, F. Wolter & M. Zakharyaschev - 2005 - Studia Logica 81 (1):147-150.
Multilanguage hierarchical logics, or: How we can do without modal logics.Fausto Giunchiglia & Luciano Serafini - 1994 - Artificial Intelligence 65 (1):29-70.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-547967878c-ztnxv uwo