Results 211 to 220 of about 16,014 (243)

ON ADOPTING KRIPKE SEMANTICS IN SET THEORY

The Review of Symbolic Logic, 2008
Several philosophers have argued that the logic of set theory should be intuitionistic on the grounds that the open-endedness of the set concept demands the adoption of a nonclassical semantics. This paper examines to what extent adopting such a semantics has revisionary consequences for the logic of our set-theoretic reasoning. It is shown that in the
openaire   +1 more source

Decision analysis based on Kripke's semantics

Proceedings First International IEEE Symposium Intelligent Systems, 2003
In this work, we consider a situation when a decision making agent has to choose between a finite set of strategies, having access to the opinions of finite set of autonomous agents. Moreover, the decision making agent is allowed to assign different credibilities to the statements made by the agents.
V. Boeva, L. Ekenberg
openaire   +1 more source

Constructive Kripke Semantics and Realizability

1992
What is the truth-value structure of realizability? How can realizability style models be integrated with forcing techniques from Kripke and Beth semantics, and conversely? These questions have received answers in Hyland’s [33], Lauchli’s [43] and in other, related or more syntactic developments cited below.
openaire   +1 more source

Kripke semantics for knowledge representation logics

Studia Logica, 1990
The author shows how Kripke structures are determined by information systems, which then enables us to provide modal logics for knowledge representation in a natural way. She discusses the axiomatization of logics thus defined and extends the Kripke modeling in order to deal with temporal aspects of information or to give reasonings about objects and ...
openaire   +1 more source

Kripke Semantics for Predicate BI

2002
We extend the Kripke semantics of propositional BI to predicates and quantifiers. Let M = (M,e, ∙, ⊑) be a preordered commutative monoid, viewed as a preordered monoidal category. Recall, from Chapter 4, that a Kripke model of propositional BI and hence of α λ, is a triple $$\left\langle {\left[ {{M^{op}},Set} \right],| = ,\left[\kern-0.15em\left[ -
openaire   +1 more source

Generalized Kripke semantics for Nelson’s logic

Algebra and Logic, 2010
A completeness theorem for logics N4 N and N30 is proved. A characterization by classes of N4 N - and N30-models is presented, and it is proved that all logics of four types η(L), η 3(L), η n (L), and η
openaire   +1 more source

Model Checking of Variable Petri Nets by Using the Kripke Structure

IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2022
Ru Yang, Zhijun Ding, Tong Guo
exaly  

Going on as one ought: Kripke and Wittgenstein on the normativity of meaning

Mind and Language, 2022
Hannah Ginsborg
exaly  

Semantic Facts on Kripke Frames

2013
This paper addresses the problem of how to represent semantic facts in possible worlds semantics. To this aim we associate a valuation function to every world in a Kripke frame that specifies the language of that world. The result is a two-dimensional semantics for which we present a complete axiomatization in a logical language that is based on ...
openaire   +1 more source

Topological Kripke Semantics for Predicate BI

2002
Just as for propositional BI soundness and completeness for BI with ⊥ may be obtained for a semantics based not on presheaves (or Set-valued functor categories) on a preordered monoid but rather based on sheaves on a commutative topological monoid. We define topological Kripke models of predicate BI and sketch the soundness and completeness arguments.
openaire   +1 more source