13 results on '"KRIPKE semantics"'
Search Results
2. Algebraic semantics for the minimum many-valued modal logic over Łn.
- Author
-
Busaniche, Manuela, Cordero, Penélope, and Rodriguez, Ricardo Oscar
- Subjects
- *
MANY-valued logic , *KRIPKE semantics , *SEMANTICS , *ALGEBRA , *LOGIC - Abstract
For each n ∈ N , we introduce the algebraic semantics for the minimum many-valued modal logic over the MV-chain with n elements. We prove that this quasivariety of algebras is generated by the complex algebras, obtaining as a consequence the completeness result of the logic with respect to the Kripke semantics. As a first step towards the study of this algebraic semantics, we study some congruences of the complex algebras. [ABSTRACT FROM AUTHOR]
- Published
- 2022
- Full Text
- View/download PDF
3. Modal reduction principles across relational semantics.
- Author
-
Conradie, Willem, De Domenico, Andrea, Manoorkar, Krishna, Palmigiano, Alessandra, Panettiere, Mattia, Pinto Prieto, Daira, and Tzimoulis, Apostolos
- Subjects
- *
KRIPKE semantics , *ROUGH sets , *MANY-valued logic , *MODAL logic , *FIRST-order logic - Abstract
The present paper establishes systematic connections among the first-order correspondents of Sahlqvist modal reduction principles in various relational semantic settings, including crisp and many-valued Kripke frames, and crisp and many-valued polarity-based frames (aka enriched formal contexts). Building on unified correspondence theory, we aim at introducing a theoretical environment which makes it possible to: (a) compare and inter-relate the various frame correspondents (in different relational settings) of any given Sahlqvist modal reduction principle; (b) recognize when first-order sentences in the frame-correspondence languages of different types of relational structures encode the same "modal content"; (c) meaningfully transfer and represent well known relational properties such as reflexivity, transitivity, symmetry, seriality, confluence, density, across different semantic contexts. These results can be understood as a first step in a research program aimed at making correspondence theory not just (methodologically) unified, but also (effectively) parametric. [ABSTRACT FROM AUTHOR]
- Published
- 2024
- Full Text
- View/download PDF
4. Modelling socio-political competition.
- Author
-
Conradie, Willem, Palmigiano, Alessandra, Robinson, Claudette, Tzimoulis, Apostolos, and Wijnberg, Nachoem
- Subjects
- *
KRIPKE semantics , *COMPLETENESS theorem , *SOCIAL groups , *POLITICAL parties , *MANY-valued logic , *LOTKA-Volterra equations , *MODAL logic - Abstract
This paper continues the investigation of the logic of competing theories (be they scientific, social, political etc.) initiated in [4]. We introduce a many-valued, multi-type modal language which we endow with relational semantics based on enriched reflexive graphs, inspired by Ploščica's representation of general lattices. We axiomatize the resulting many-valued, non-distributive modal logic of these structures and prove a completeness theorem. We illustrate the application of this logic through a case study in which we model competition among interacting political promises and social demands within an arena of political parties social groups. [ABSTRACT FROM AUTHOR]
- Published
- 2021
- Full Text
- View/download PDF
5. BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES.
- Author
-
ODINTSOV, SERGEI P. and SPERANSKI, STANISLAV O.
- Subjects
- *
MODAL logic , *KRIPKE semantics , *TRUTH , *ALGEBRAIC logic , *MANY-valued logic - Abstract
We shall be concerned with the modal logic BK—which is based on the Belnap–Dunn four-valued matrix, and can be viewed as being obtained from the least normal modal logic K by adding 'strong negation'. Though all four values 'truth', 'falsity', 'neither' and 'both' are employed in its Kripke semantics, only the first two are expressible as terms. We show that expanding the original language of BK to include constants for 'neither' or/and 'both' leads to quite unexpected results. To be more precise, adding one of these constants has the effect of eliminating the respective value at the level of BK-extensions. In particular, if one adds both of these, then the corresponding lattice of extensions turns out to be isomorphic to that of ordinary normal modal logics. [ABSTRACT FROM AUTHOR]
- Published
- 2020
- Full Text
- View/download PDF
6. Negation on the Australian Plan.
- Author
-
Berto, Francesco and Restall, Greg
- Subjects
- *
NEGATION (Logic) , *KRIPKE semantics , *MANY-valued logic , *MODAL logic , *SEMANTICS - Abstract
We present and defend the Australian Plan semantics for negation. This is a comprehensive account, suitable for a variety of different logics. It is based on two ideas. The first is that negation is an exclusion-expressing device: we utter negations to express incompatibilities. The second is that, because incompatibility is modal, negation is a modal operator as well. It can, then, be modelled as a quantifier over points in frames, restricted by accessibility relations representing compatibilities and incompatibilities between such points. We defuse a number of objections to this Plan, raised by supporters of the American Plan for negation, in which negation is handled via a many-valued semantics. We show that the Australian Plan has substantial advantages over the American Plan. [ABSTRACT FROM AUTHOR]
- Published
- 2019
- Full Text
- View/download PDF
7. Toward a general frame semantics for modal many-valued logics.
- Author
-
Cintula, Petr, Menchón, Paula, and Noguera, Carles
- Subjects
- *
MODAL logic , *MANY-valued logic , *GENERAL semantics , *SEMANTICS - Abstract
Frame semantics, given by Kripke or neighborhood frames, do not give completeness theorems for all modal logics extending, respectively, K and E. Such shortcoming can be overcome by means of general frames, i.e., frames equipped with a collection of admissible sets of worlds (which is the range of possible valuations over such frame). We export this approach from the classical paradigm to modal many-valued logics by defining general A-frames over a given residuated lattice A (i.e., the usual frames with a collection of admissible A-valued sets). We describe in detail the relation between general Kripke and neighborhood A-frames and prove that, if the logic of A is finitary, all extensions of the corresponding logic E of A are complete w.r.t. general neighborhood frames. Our work provides a new approach to the current research trend of generalizing relational semantics for non-classical modal logics to circumvent axiomatization problems. [ABSTRACT FROM AUTHOR]
- Published
- 2019
- Full Text
- View/download PDF
8. Neighborhood semantics for modal many-valued logics.
- Author
-
Cintula, Petr and Noguera, Carles
- Subjects
- *
MANY-valued logic , *KRIPKE semantics , *UNARY algebras , *ALGEBRAIC logic , *OPERATOR theory , *FUZZY logic - Abstract
The majority of works on modal many-valued logics consider Kripke-style possible worlds frames as the principal semantics despite their well-known axiomatizability issues when considering non-Boolean accessibility relations. The present work explores a more general semantical picture, namely a many-valued version of the classical neighborhood semantics. We present it in two levels of generality. First, we work with modal languages containing only the two usual unary modalities, define neighborhood frames over algebras of the logic FL ew with operators, and show their relation with the usual Kripke semantics (this is actually the highest level of generality where one can give a straightforward definition of the Kripke-style semantics). Second, we define generalized neighborhood frames for arbitrary modal languages over a given class of algebras for an arbitrary protoalgebraic logic and, assuming certain additional conditions, axiomatize the logic of all such frames (which generalizes the completeness theorem of the classical modal logic E with respect to classical neighborhood frames). [ABSTRACT FROM AUTHOR]
- Published
- 2018
- Full Text
- View/download PDF
9. A REAL-VALUED MODAL LOGIC.
- Author
-
DIACONESCU, DENISA, METCALFE, GEORGE, and SCHNÜRIGER, LAURA
- Subjects
AXIOMATIC design ,LATTICE theory ,AXIOMATIC set theory ,KRIPKE semantics ,ABELIAN equations - Abstract
A many-valued modal logic is introduced that combines the usual Kripke frame semantics of the modal logic K with connectives interpreted locally at worlds by lattice and group operations over the real numbers. A labelled tableau system is provided and a coNEXPTIME upper bound obtained for checking validity in the logic. Focussing on the modal-multiplicative fragment, the labelled tableau system is then used to establish completeness for a sequent calculus that admits cut-elimination and an axiom system that extends the multiplicative fragment of Abelian logic. [ABSTRACT FROM AUTHOR]
- Published
- 2018
- Full Text
- View/download PDF
10. Modal Definability Based on Łukasiewicz Validity Relations.
- Author
-
Teheux, Bruno
- Abstract
We study two notions of definability for classes of relational structures based on modal extensions of Ł ukasiewicz finitely-valued logics. The main results of the paper are the equivalent of the G oldblatt-T homason theorem for these notions of definability. [ABSTRACT FROM AUTHOR]
- Published
- 2016
- Full Text
- View/download PDF
11. Kripke-type Semantics for [formula omitted].
- Author
-
Borja Macías, Verónica and Pérez-Gaspar, Miguel
- Subjects
KRIPKE semantics ,FUZZY logic ,MATHEMATICAL logic ,MATHEMATICAL analysis ,MANY-valued logic ,NONCLASSICAL mathematical logic - Abstract
In Osorio et al. [Revisiting Z. Notre Dame Journal of Formal Logic , 55(1):129–155, 2014] introduced a paraconsistent three-valued logic, the logic CG 3 ′ which was named after the logic G 3 ′ due to the close relation between them. Authors defined CG 3 ′ via the three-valued matrix that defines G 3 ′ but changing the set of designated truth values. In this article we present a brief study of the Kripke-type semantics for some logics related with CG 3 ′ before constructing a Kripke-type semantics for it. [ABSTRACT FROM AUTHOR]
- Published
- 2016
- Full Text
- View/download PDF
12. Algebraic Kripke-Style Semantics for Relevance Logics.
- Author
-
Yang, Eunsuk
- Subjects
- *
RELEVANCE logic , *KRIPKE semantics , *ORDERED algebraic structures , *ALGEBRAIC varieties , *IMPLICATION (Logic) , *ALGEBRA - Abstract
This paper deals with one kind of Kripke-style semantics, which we shall call algebraic Kripke-style semantics, for relevance logics. We first recall the logic R of relevant implication and some closely related systems, their corresponding algebraic structures, and algebraic completeness results. We provide simpler algebraic completeness proofs. We then introduce various types of algebraic Kripke-style semantics for these systems and connect them with algebraic semantics. [ABSTRACT FROM AUTHOR]
- Published
- 2014
- Full Text
- View/download PDF
13. Subintuitionistic Logics with Kripke Semantics
- Author
-
de Jongh, D., Shirmohammadzadeh Maleki, F., Hansen, H.H., Murray, S.E., Sadrzadeh, M., Zeevat, H., ILLC (FNWI), Logic and Computation (ILLC, FNWI/FGw), and Faculty of Science
- Subjects
Discrete mathematics ,010102 general mathematics ,Classical logic ,06 humanities and the arts ,Intuitionistic logic ,Intermediate logic ,0603 philosophy, ethics and religion ,01 natural sciences ,Higher-order logic ,Algebra ,Monoidal t-norm logic ,060302 philosophy ,Many-valued logic ,Kripke semantics ,0101 mathematics ,T-norm fuzzy logics ,Mathematics - Abstract
The subintuitionistic logics introduced by Corsi and Restall are developed in a uniform manner. In this way Restall's contributions are clarified. Hilbert type proof systems are given for derivations without and with assumptions. The results are applied to give conservation theorems for intuitionistic logic IPC over Corsi's system F. For Visser's basic logic additional conservation results are obtained.
- Published
- 2017
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.