Kripke‐style semantics for many‐valued logics

This paper deals with Kripke‐style semantics for many‐valued logics. We introduce various types of Kripke semantics, and we connect them with algebraic semantics. As for modal logics, we relate the axioms of logics extending MTL to properties of the Kripke frames in which they are valid. We show that in the propositional case most logics are complete but not strongly complete with respect to the corresponding class of complete Kripke frames, whereas in the predicate case there are important many‐valued logics like BL, ? and Π, which are not even complete with respect to the class of all predicate Kripke frames in which they are valid. Thus although very natural, Kripke semantics seems to be slightly less powerful than algebraic semantics. (© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Corrigendum to “Kripke‐style semantics for many‐valued logics”

This note contains a correct proof of the fact that the set of all first‐order formulas which are valid in all predicate Kripke frames for Hájek's many‐valued logic BL is not arithmetical. The result was claimed in [5], but the proof given there was incorrect. (© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Incompleteness Results in Kripke Bundle Semantics

Kripke bundle and C-set semantics are known as semantics which generalize standard Kripke semantics. In [4] and in [1, 2] it is shown that Kripke bundle and C-set semantics are stronger than standard Kripke semantics. Also it is true that C-set semantics for superintuitionistic logics is stronger than Kripke bundle semantics ([6]). Modal predicate logic Q-S4.1 is not Kripke bundle complete ([3] - it is also yielded as a corollary to Theorem 6.1(a) of the present paper). This is shown by using difference of Kripke bundle semantics and C-set semantics. In this paper, by using the same idea we show that incompleteness results in Kripke bundle semantics which are extended versions of [2].     

Predicate Modal Logics Do Not Mix Very Well

The problem of completeness for predicate modal logics is still under investigation, although some results have been obtained in the last few years (cf. [2, 3, 4, 7]). As far as we know, the case of multimodal logics has not been addressed at all. In this paper, we study the combination of modal logics in terms of combining their semantics. We demonstrate by a simple example that in this sense predicate modal logics are not so easily manipulated as propositional ones: mixing two Kripke-complete predicate modal logics (one with the Barcan formula, and the other without) results in a Kripke-incomplete system.     

Kripke‐Platek Set Theory and the Anti‐Foundation Axiom

The paper investigates the strength of the Anti‐Foundation Axiom, AFA, on the basis of Kripke‐Platek set theory without Foundation. It is shown that the addition of AFA considerably increases the proof theoretic strength.     

Order Dimension of Orthomodular Amalgamations Over Trees

We consider the amalgamation of bounded involution posets over a strictly directed graph as applied to orthomodular lattices, orthomodular posets or orthoalgebras. In the finite setting, we show that the order dimension of the amalgamation does not exceed that of the amalgamated structures by more than one. We also present conditions under which equality obtains.      

Orthomodular lattices with rich state spaces

We introduce a new construction technique for orthomodular lattices. In contrast to the preceding constructions, it admits rich spaces of states (= probability measures), i.e., for each pair of incomparable elements a,c there is a state s such that s(a) = 1 > s(c). This allowed a progress in many questions that were open for a long time; among others we prove that there is a continuum of varieties of orthomodular lattices with rich state spaces and solve a problem formulated by R. Mayet in 1985. As a by-product of this research, the uniqueness problem for bounded observables (posed by S. Gudder in 1966) has been solved. As a tool, we introduce also a new construction –identification of atoms in an orthomodular lattice – which may be of separate interest.     

Properties of Tense Logics

Based on the results of [11] this paper delivers uniform algorithms for deciding whether a finitely axiomatizable tense logic

• has the finite model property,
• is complete with respect to Kripke semantics,
• is strongly complete with respect to Kripke semantics,
• is d-persistent,
• is r-persistent.

It is also proved that a tense logic is strongly complete iff the corresponding variety of bimodal algebras is complex, and that a tense logic is d-persistent iff it is complete and its Kripke frames form a first order definable class. From this we obtain many natural non-d-persistent tense logics whose corresponding varieties of bimodal algebras are complex. Mathematics Subject Classification: 03B45, 03B25.     

Exhibiting Wide Families of Maximal Intermediate Propositional Logics with the Disjunction Property

We provide results allowing to state, by the simple inspection of suitable classes of posets (propositional Kripke frames), that the corresponding intermediate propositional logics are maximal among the ones which satisfy the disjunction property. Starting from these results, we directly exhibit, without using the axiom of choice, the Kripke frames semantics of 2^No maximal intermediate propositional logics with the disjunction property. This improves previous evaluations, giving rise to the same conclusion but made with an essential use of the axiom of choice, of the cardinality of the set of the maximal intermediate propositional logics with the disjunction property. Mathematics Subject Classification: 03B55, 03C90.     

Cut‐elimination Theorems for Some Infinitary Modal Logics

In this article, a cut‐free system TLM_ω1 for infinitary propositional modal logic is proposed which is complete with respect to the class of all Kripke frames.The system TLM_ω1 is a kind of Gentzen style sequent calculus, but a sequent of TLM_ω1 is defined as a finite tree of sequents in a standard sense. We prove the cut‐elimination theorem for TLM_ω1 via its Kripke completeness.     

A spatial modal logic with a location interpretation

A spatial modal logic (SML) is introduced as an extension of the modal logic S4 with the addition of certain spatial operators. A sound and complete Kripke semantics with a natural space (or location) interpretation is obtained for SML. The finite model property with respect to the semantics for SML and the cut‐elimination theorem for a modified subsystem of SML are also presented. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Sémantique de type Kripke d'un système logique basé sur un ensemble ordonné fini

In order to modelize the reasoning of intelligent agents represented by a poset T, H. Rasiowa introduced logic systems called “Approximation Logics”. In these systems the use of a set of constants constitutes a fundamental tool. We have introduced in [8] a logic system called without this kind of constants but limited to the case that T is a finite poset. We have proved a completeness result for this system w.r.t. an algebraic semantics. We introduce in this paper a Kripke‐style semantics for a subsystem of for which there existes a deduction theorem. The set of “possible worldsr is enriched by a family of functions indexed by the elements of T and satisfying some conditions. We prove a completeness result for system with respect to this Kripke semantics and define a finite Kripke structure that characterizes the propositional fragment of logic . We introduce a reational semantics (found by E. Orlowska) which has the advantage to allow an interpretation of the propositionnal logic using only binary relations. We treat also the computational complexity of the satisfiability problem of the propositional fragment of logic .     

Invariant Logics

A moda logic Λ is called invariant if for all automorphisms α of NExt K , α(Λ) = Λ. An invariant ogic is therefore unique y determined by its surrounding in the attice. It wi be established among other that a extensions of K.alt ₁ S4.3 and G.3 are invariant ogics. Apart from the results that are being obtained, this work contributes to the understanding of the combinatorics of finite frames in genera, something wich has not been done except for transitive frames. Certain useful concepts will be established, such as the notion of a d‐homogeneous frame.     

Dual‐Context Sequent Calculus and Strict Implication

We introduce a dual‐context style sequent calculus which is complete with respectto Kripke semantics where implication is interpreted as strict implication in the modal logic K. The cut‐elimination theorem for this calculus is proved by a variant of Gentzen's method.     

量词模态逻辑的代数语义学（Ⅲ）──关于不含Barcan公式的正规模态系统的情形

本文首先讨论嵌套论域语义的相应代数语义并由Ｈｕｇｈｅｓ和Ｃｒｅｓｓｗｅｌｌ在［５］中建立的关于具有嵌套论域的正规量词模态系统的关系语义完全性定理推出其相应的代数语义完全性定理：然后对于具有任意可变论域语义的正规系统，我们用Ｈｅｎｋｉｎ方法给出其关于狭义Ｋｒｉｐｋｅ语义的关系语义完全性定理，由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。     

On the Finite Model Property of Intuitionistic Modal Logics over MIPC

MIPC is a well-known intuitionistic modal logic of Prior (1957) and Bull (1966). It is shown that every normal intuitionistic modal logic L over MIPC has the finite model property whenever L is Kripke-complete and universal.     

Barwise's Information Frames and Modal Logics

The article studies Barwise's information frames and settles the problem of Barwise dealing in finding axiomatizations for the modal logics generated by information frames. We find axiomatic systems for: (i) the modal logic of all complete information frames; (ii) the logic of all sound and complete information frames; (iii) the logic of all hereditary and complete information frames; (iv) the logic of all complete, sound, and hereditary information frames; (v) the logic of all consistent and complete information frames. The notion of weak modal logics is also proposed, and it is shown that the weak modal logics generated by all information frames and by all hereditary information frames are K and K4, respectively. Toward a general theory, we prove that any Kripke complete modal logic is a modal logic of a certain class of information frames, and that every modal logic generated by any given class of complete, rarefied, and fully classified information frames is Kripke complete.