Results 91 to 100 of about 39,273,340 (170)
We introduce Quantum Kripke Semantics, a modal semantic framework in which propositions remain Boolean while accessibility relations are generalized to field-valued accessibility operators.
Ferrari, Edson Fernando, GPT5mini, Alice
core +1 more source
Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost. [PDF]
Entropy (Basel), 2022 Ma Z, Li Z, Li W, Gao Y, Li X.
europepmc +1 more source
The Problem of Index-Initialisation in the Tempo-Modal Semantics
Studia Semiotyczne, 2020 DOI: http://doi.org/10.26333/stsen.xxx.02 In Kripke-semantics for modal logic, the truth value of a sentence depends on the choice of a semantic index (e.g. world, time, or place).
doaj
A partial evaluation methodology for optimizing rewrite theories incrementally. [PDF]
MethodsX, 2022 Alpuente M +4 more
europepmc +1 more source
Proof Translations between Label-free and Labeled Sequent Calculi in ISCI
Bulletin of the Section of LogicIn this paper we consider the Intuitionistic Sentential Calculus with Identity (ISCI). We study two main families of sequent calculi. The first one, called G3ISCI, is based on a label-free multi-succedent sequent calculus that is sound and complete w.r ...
Didier Galmiche +2 more
doaj +1 more source
The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems. [PDF]
Minds Mach (Dordr), 2023 Cignarale G +3 more
europepmc +1 more source
Modal Structuralism with Theoretical Terms. [PDF]
Erkenntnis, 2023 Andreas H, Schiemer G.
europepmc +1 more source
Dualising Intuitionistic Negation
Principia: An International Journal of Epistemology, 2009 One of Da Costa’s motives when he constructed the paraconsistent logic C! was to dualise the negation of intuitionistic logic. In this paper I explore a different way of going about this task.
Graham Priest
doaj
Chapter 1 MANY-VALUED AND KRIPKE SEMANTICS
, 2008 Many-valued 1 and Kripke semantics are generalizations of classical semantics in two different "opposite " ways. Many-valued semantics keep the idea of homomorphisms between the structure of the language and an algebra of truth ...
Jean-yves Beziau
core