Sciweavers

MLQ
2007
90views more  MLQ 2007»
13 years 11 months ago
Kripke submodels and universal sentences
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...
Ben Ellison, Jonathan Fleischmann, Dan McGinn, Wim...
APAL
2010
129views more  APAL 2010»
13 years 11 months ago
Kripke models for classical logic
We introduce a notion of Kripke model for classical logic for which we constructively prove soundness and cut-free completeness. We discuss the meaning of the new notion and its a...
Danko Ilik, Gyesik Lee, Hugo Herbelin
AML
2010
102views more  AML 2010»
13 years 11 months ago
Kripke models for subtheories of CZF
In this paper a method to construct Kripke models for subtheories of constructive set theory is introduced that uses constructions from classical model theory such as constructibl...
Rosalie Iemhoff
AMAST
2006
Springer
14 years 3 months ago
Hyperfinite Approximations to Labeled Markov Transition Systems
The problem of finding an approximation to a labeled Markov transition system through hyperfinite transition systems is addressed. It is shown that we can find for each countable ...
Ernst-Erich Doberkat
TAMC
2009
Springer
14 years 6 months ago
Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces
We show that logical and behavioral equivalence for stochastic Kripke models over general measurable spaces are the same. Usually, this requires some topological assumptions and in...
Ernst-Erich Doberkat