Results 181 to 190 of about 24,570,426 (223)
Some of the next articles are maybe not open access.
Forcing and satisfaction in Kripke models of intuitionistic arithmetic
Logic Journal of the IGPL, 2018We define a class of first-order formulas $\mathsf{P}^{\ast }$ which exactly contains formulas $\varphi$ such that satisfaction of $\varphi$ in any classical structure attached to a node of a Kripke model of intuitionistic predicate logic deciding ...
Maryam Abiri, M. Moniri, Mostafa Zaare
semanticscholar +1 more source
Computation tree logic model checking based on multi-valued possibility measures
Information Sciences, 2019Multi-valued model checking has been studied extensively recently, but important uncertain information contained in systems of multi-valued logics has not been considered in previous work and, as a consequence, some serious deficiencies arise. To make up
Yongming Li, Lihui Lei, Sanjiang Li
semanticscholar +1 more source
Modelling uncertainty with kripke's semantics
1998The set of possible worlds of any model of modal logic can be endowed with evidence measures, by considering the accessibility relation as a multivalued mapping. The measures induced by the model itself can then be expressed in terms of these measures.
Veselka Boeva +2 more
openaire +1 more source
Probabilistic Causal Kripke Models
We extend the framework of causal Kripke models in [8] to a probabilistic setting, by allowing a quantitative representation of a causal agent’s uncertainty. This framework incorporates probabilities into the Halpern-Pearl model of causality, enabling the evaluation of how likely an event is to be the actual cause of another.Yiwen Ding +3 more
openaire +2 more sources
Some Operators in Kripke Models with an Involution
Journal of Applied Non-Classical Logics, 1999ABSTRACT In an unpublished paper(see [9]), we prove the equivalence between validity in 3L-models and algebraic validity in 3-valued Lukasiewicz algebras. R. Cignoli and M. Sagastume de Gallego present in [4] an intrinsic definition of the operators s, for i = 1,…,4 of a 5-valued Lukasiewicz algebra.
Adriana Galli, Marta Sagastume
openaire +1 more source
Constants in Kripke Models for Intuitionistic Logic
Mathematical Logic Quarterly, 1995AbstractWe present a technique to extend a Kripke structure (for intuitionistic logic) into an elementary extension satisfying some property (cardinality, saturation, etc.) which can be “axiomatized” by a family of sets of sentences, where, most often, many constant symbols occur. To that end, we prove extended theorems of completeness and compactness.
openaire +2 more sources
Corrigendum to “Weak Arithmetics and Kripke Models”
Mathematical Logic Quarterly, 2004AbstractWe give a corrected proof of the main result in the paper [2] mentioned in the title. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
openaire +1 more source
Kripke Models, Distributive Lattices, and Medvedev Degrees
Studia Logica, 2005zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Kripke Models Built from Models of Arithmetic
2015We introduce three relations between models of Peano Arithmetic $$\mathsf {PA}$$, each of which is characterized as an arithmetical accessibility relation. A relation $$\mathrel {R}$$ is said to be an arithmetical accessibility relation if for any model $$\mathcal {M}$$ of $$\mathsf {PA}$$, $$\mathcal {M}\vDash \mathsf {Pr}_{\pi }\varphi $$ iff ...
openaire +1 more source
On the duality of dynamic algebras and kripke models
1981We introduce a natural topology on Kripke models of propositional dynamic logic (PDL) and exhibit a useful duality between certain topological Kripke models and separable dynamic algebras analogous to the duality between Boolean algebras and their Stone spaces.
openaire +1 more source