Complexity of logics for multi-agent systems with restricted modal context

Logic Journal of the IGPL 21 (3):355-379 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzr040

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,438

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

Term-modal logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
ML systems: A proof theory for contexts. [REVIEW]Luciano Serafini & Fausto Giunchiglia - 2002 - Journal of Logic, Language and Information 11 (4):471-518.
Complexity of admissible rules.Emil Jeřábek - 2007 - Archive for Mathematical Logic 46 (2):73-92.
Restricted Classical Modal Logics.Cezar Mortari - 2007 - Logic Journal of the IGPL 15 (5-6):741-757.
Some multi-conclusion modal paralogics.Casey McGinnis - 2007 - Logica Universalis 1 (2):335-353.
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.
Variants of multi-relational semantics for propositional non-normal modal logics.Erica Calardo & Antonino Rotolo - 2014 - Journal of Applied Non-Classical Logics 24 (4):293-320.
On complexity of verification of interacting agents' behavior.Michael Dekhtyar, Alexander Dikovsky & Mars Valiev - 2006 - Annals of Pure and Applied Logic 141 (3):336-362.
Inconsistency-adaptive modal logics. On how to cope with modal inconsistency.Hans Lycke - 2010 - Logic and Logical Philosophy 19 (1-2):31-61.
A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples.Wiebe van Der Hoek & Elias Thijsse - 2002 - Studia Logica 72 (1):61 - 84.
Syntactic cut-elimination for a fragment of the modal mu-calculus.Kai Brünnler & Thomas Studer - 2012 - Annals of Pure and Applied Logic 163 (12):1838-1853.
A general approach to multi-agent minimal knowledge: With tools and Samples.Wiebe van der Hoek & Elias Thijsse - 2002 - Studia Logica 72 (1):61-84.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
Theory matrices (for modal logics) using alphabetical monotonicity.Ian P. Gent - 1993 - Studia Logica 52 (2):233 - 257.
Problem of restricted interpolation in superintuitionistic and some modal logics.Larisa Maksimova - 2010 - Logic Journal of the IGPL 18 (3):367-380.

Analytics

Added to PP
2016-06-30

Downloads
15 (#932,052)

6 months
6 (#510,035)

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

No references found.

Add more references