Logo del repository
  1. Home
 
Opzioni

A complete axiomatic system for a process-based spatial logic

R. MARDARE
•
POLICRITI, Alberto
2008
  • conference object

Periodico
LECTURE NOTES IN COMPUTER SCIENCE
Abstract
The process-based Spatial Logics are multi-modal logics developed for semantics oil Process Algebras and designed to specify concurrent properties of dynamic systems. Oil the syntactic level, they combine modal operators similar to operators of Hennessy-Milner logic, dynamic logic, arrow logic, relevant logic, or linear logic. This combination generates expressive logics, sometimes undecidable, for which a wide range of applications have been proposed. In the literature, there exist some sound proof systems for spatial logics, but; the problem of completeness against process-algebraic semantics is still open. The main goal of this paper is to identify a sound-complete axiomatization for such a logic. We focus on a particular spatial logic that combines the basic spatial operators with dynamic and classical operators. The semantics is based on a fragment of CCS calculus that; embodies the core features of concurrent behaviors. We prove the logic decidable both for satisfiability/validity and mode-checking, and we propose a sound-complete Hilbert-style axiomatic system for it.
WOS
WOS:000259139800040
Archivio
http://hdl.handle.net/11390/851584
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-54249115885
Diritti
open access
Visualizzazioni
3
Data di acquisizione
Apr 19, 2024
Vedi dettagli
google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback