12 search results - page 2 / 3 » mlq 2000 |
MLQ
2000
13 years 7 months ago
2000
The logic of common belief does not always reect that of individual beliefs. In particular, even when the individual belief operators satisfy the KD45 logic, the common belief ope...
MLQ
2000
13 years 7 months ago
2000
The connection between similarity logic and the theory of closure operators is examined. Indeed one proves that the consequence relation defined in [14] can be obtained by composin...
MLQ
2008
13 years 7 months ago
2008
We compare two Picard groups in dimension one. Our proofs are constructive and the results generalize a theorem of J. Sands [11]. MSC 2000: 13C15, 13C20, 03F65, 13F45
MLQ
2000
13 years 7 months ago
2000
It is well known that the model categories of universal Horn theories are locally presentable, hence essentially algebraic [2]. In the special case of quasivarieties a direct tran...
MLQ
2007
13 years 7 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...