2 search results - page 1 / 1 » Kripke submodels and universal sentences |
MLQ
2007
13 years 10 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
14 years 5 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 ...