- Autori:
-
Carlos, Caleiro; Vigano', Luca; Volpe, Marco
- Titolo:
-
On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators
- Anno:
-
2013
- Tipologia prodotto:
-
Articolo in Rivista
- Tipologia ANVUR:
- Articolo su rivista
- Lingua:
-
Inglese
- Formato:
-
A Stampa
- Referee:
-
Sì
- Nome rivista:
- LOGICA UNIVERSALIS
- ISSN Rivista:
- 1661-8297
- N° Volume:
-
7
- Numero o Fascicolo:
-
1
- Intervallo pagine:
-
33-69
- Parole chiave:
-
Modal Logic; Temporal Logic; Combination of Logics
- Breve descrizione dei contenuti:
- We present an extension of the mosaic method aimed at capturing many-dimensional modal logics. As a proof-of-concept, we define the method for logics arising from the combination of linear tense operators with an “orthogonal” S5-like modality. We show that the existence of a model for a given set of formulas is equivalent to the existence of a suitable set of partial models, called mosaics, and apply the technique not only in obtaining a proof of decidability and a proof of completeness for the corresponding Hilbert-style axiomatization, but also in the development of a mosaic-based tableau system. We further consider extensions for dealing with the case when interactions between the two dimensions exist, thus covering a wide class of bundled Ockhamist branching-time logics, and present for them some partial results, such as a non-analytic version of the tableau system.
- Id prodotto:
-
79544
- Handle IRIS:
-
11562/435197
- depositato il:
-
3 febbraio 2014
- ultima modifica:
-
1 novembre 2022
- Citazione bibliografica:
-
Carlos, Caleiro; Vigano', Luca; Volpe, Marco,
On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators
«LOGICA UNIVERSALIS»
, vol.
7
, n.
1
,
2013
,
pp. 33-69
Consulta la scheda completa presente nel
repository istituzionale della Ricerca di Ateneo