2 search results - page 1 / 1 » Kripke submodels and universal sentences |
MLQ
2007
13 years 4 months ago
2007
We define two notions for intuitionistic predicate logic: that of a submodel of a Kripke model, and that of a universal sentence. We then prove a corresponding preservation theor...
ICFEM
2007
Springer
13 years 11 months ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...