Decidability of modular logics for concurrency

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Abstract

The modular logics we approach in this paper are logics for concurrent systems that reflect both behavioral and structural properties of systems. They combine dynamic modalities that express behavioural properties of a system with polyadic modalities that join properties of subsystems. Spatial and Separation Logics are examples of modular logics. Being the complex algebraic-coalgebraic semantics, these logics have interesting decidability properties. In this paper we provide a taxonomy of the decision problems for a class of modular logics with semantics based on CCS processes.

Original languageEnglish
Title of host publicationPerspectives of System Informatics.PSI 2011.
EditorsE. Clarke, I. Virbitskaite, A. Voronkov
Place of PublicationBerlin
PublisherSpringer-Verlag
Pages274-288
Number of pages15
ISBN (Print)9783642297083
DOIs
Publication statusPublished - 24 May 2012
Event8th International Ershov Informatics Conference on Perspectives of System Informatics, PSI 2011 - Novosibirsk, Russian Federation
Duration: 27 Jun 20111 Jul 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7162 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference8th International Ershov Informatics Conference on Perspectives of System Informatics, PSI 2011
CountryRussian Federation
CityNovosibirsk
Period27/06/111/07/11

Keywords

  • model check
  • modal logic
  • parallel operator
  • operational semantic
  • guarantee operator

Fingerprint Dive into the research topics of 'Decidability of modular logics for concurrency'. Together they form a unique fingerprint.

  • Cite this

    Mardare, R. (2012). Decidability of modular logics for concurrency. In E. Clarke, I. Virbitskaite, & A. Voronkov (Eds.), Perspectives of System Informatics.PSI 2011. (pp. 274-288). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7162 LNCS). Springer-Verlag. https://doi.org/10.1007/978-3-642-29709-0_24