Logo del repository
  1. Home
 
Opzioni

Uniform interpolation for propositional and modal team logics

Giovanna D'Agostino
2019
  • journal article

Periodico
JOURNAL OF LOGIC AND COMPUTATION
Abstract
In this paper we consider modal team logic, a generalization of classical modal logic in which it is possible to describe dependence phenomena between data. We prove that most known fragments of full modal team logic allow the elimination of the so called 'existential bisimulation quantifiers', where the existence of a certain set is required only modulo bisimulation (i.e. not in the model itself but possibly in a bisimilar model). As a consequence, we prove that these fragments enjoy the uniform interpolation property.
DOI
10.1093/logcom/exz006
WOS
WOS:000493111600010
Archivio
http://hdl.handle.net/11390/1173185
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85083886284
Diritti
open access
Soggetti
  • Interpolation, Teams ...

Scopus© citazioni
1
Data di acquisizione
Jun 14, 2022
Vedi dettagli
Web of Science© citazioni
1
Data di acquisizione
Mar 8, 2024
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