A semantical hierarchy for modal formulas.
Salvatore Guccione; Roberto Tortora
Stochastica (1982)
- Volume: 6, Issue: 1, page 71-77
- ISSN: 0210-7821
Access Full Article
top
Abstract
topHow to cite
topGuccione, Salvatore, and Tortora, Roberto. "A semantical hierarchy for modal formulas.." Stochastica 6.1 (1982): 71-77. <http://eudml.org/doc/38861>.
@article{Guccione1982,
abstract = {In this paper a semantical partition, relative to Kripke models, is introduced for sets of formulas. Secondly, this partition is used to generate a semantical hierarchy for modal formulas. In particular some results are given for the propositional calculi T and S4.},
author = {Guccione, Salvatore, Tortora, Roberto},
journal = {Stochastica},
keywords = {Lógica modal; Fórmulas; Kripke models; semantical hierarchy; modal formulas; S4},
language = {eng},
number = {1},
pages = {71-77},
title = {A semantical hierarchy for modal formulas.},
url = {http://eudml.org/doc/38861},
volume = {6},
year = {1982},
}
TY - JOUR
AU - Guccione, Salvatore
AU - Tortora, Roberto
TI - A semantical hierarchy for modal formulas.
JO - Stochastica
PY - 1982
VL - 6
IS - 1
SP - 71
EP - 77
AB - In this paper a semantical partition, relative to Kripke models, is introduced for sets of formulas. Secondly, this partition is used to generate a semantical hierarchy for modal formulas. In particular some results are given for the propositional calculi T and S4.
LA - eng
KW - Lógica modal; Fórmulas; Kripke models; semantical hierarchy; modal formulas; S4
UR - http://eudml.org/doc/38861
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.