Logics Modulo Theories: a logical framework for multi-agent systems

&
Logic Journal of the IGPL 23 (4):553-583 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzv002

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,174

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Editorial: Special issue in honour of John Newsome Crossley.Guillermo Badia - 2023 - Logic Journal of the IGPL 31 (6):1005-1009.
Complexity of logics for multi-agent systems with restricted modal context.M. Dziubinski - 2013 - Logic Journal of the IGPL 21 (3):355-379.
Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2007.B. Dunin-Keplicz & R. Verbrugge - 2013 - Logic Journal of the IGPL 21 (3):309-310.
Foreword to Special issue on Logics for Multi-agent Systems.Valentin Goranko & Wojciech Jamroga - 2011 - Journal of Applied Non-Classical Logics 21 (1):7-8.
Recollections of logicians, mathematicians and philosophers.John L. Bell - 2023 - Logic Journal of the IGPL 31 (6):1232-1250.
John Crossley: A life intellectual.Anil Nerode - 2023 - Logic Journal of the IGPL 31 (6):1023-1023.
A Reasoning Method based on Spatio-Temporal.Seyed Ahmad Mirsanei - 2016 - International Journal of Computer and Information Technologies (Ijocit) 4 (1): 27-32..
Logics and collaboration.Liz Sonenberg - 2023 - Logic Journal of the IGPL 31 (6):1024-1046.
What is mathematical logic? An Australian odyssey.John Newsome Crossley - 2023 - Logic Journal of the IGPL 31 (6):1010-1022.
Logics of Kripke meta-models.Sergey Babenyshev & Vladimir Rybakov - 2010 - Logic Journal of the IGPL 18 (6):823-836.

Analytics

Added to PP
2016-06-30

Downloads
32 (#709,290)

6 months
7 (#718,806)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Many-dimensional modal logics: theory and applications.Dov M. Gabbay (ed.) - 2003 - Boston: Elsevier North Holland.
The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
Steps toward formalizing context.Varol Akman & Mehmet Surav - 1996 - AI Magazine 17 (3):55-72.

View all 7 references / Add more references