Results 201 to 210 of about 16,014 (243)

Subintuitionistic Logics with Kripke Semantics

2017
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
de Jongh, D., Shirmohammadzadeh Maleki, F.   +1 more
openaire   +3 more sources

Kripke-style Semantics of Orthomodular Logics

MLQ, 2001
The author present a Kripke-style semantics for propositional orthomodular logics based on the representation of orthomodular lattices given by \textit{D. J. Foulis} [Proc. Am. Math. Soc. 11, 648-654 (1960; Zbl 0239.20074)] and shows that the orthomodular logic is complete with respect to this semantics.
openaire   +2 more sources

Definability of Boolean Functions in Kripke Semantics

Notre Dame Journal of Formal Logic, 2023
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Semantic Knowledge, Semantic Guidance, and Kripke's Wittgenstein

Pacific Philosophical Quarterly, 2015
AbstractSaul Kripke's influential ‘sceptical paradox’ of semantic rule‐following alleges that speakers cannot have any justification for using a word one way rather than another. If it is correct, there can be no such thing as meaning anything by a word. I argue that the paradox fails to undermine meaning.
openaire   +1 more source

Topological Kripke Semantics

2002
BI’s Kripke semantics may be adapted to account for ⊥ by moving from presheaves (or Set-valued functor categories) to sheaves on a topological space. Such a move permits a semantics in which we take an inconsistent world, at which ⊥ is forced, together with a treatment of disjunction that exploits the structure of a topological space which admits a non-
openaire   +1 more source

Semantic Realism and Kripke's Wittgenstein

Philosophy and Phenomenological Research, 1998
This article argues, first, that the fundamental structure of the skeptical argument in Kripke's book on Wittgenstein has been seriously misunderstood by recent commentators. Although it focuses particularly on recent commentary by John McDowell, it emphasizes that the basic misunderstandings are widely shared by other commentators.
openaire   +1 more source

Incompleteness results in Kripke semantics

Journal of Symbolic Logic, 1991
AbstractBy means of models in toposes of C-sets (where C is a small category), necessary conditions are found for the minimum quantified extension of a propositional (intermediate, modal) logic to be complete with respect to Kripke semantics; in particular, many well-known systems turn out to be incomplete.
openaire   +1 more source

A NEW INCOMPLETENESS RESULT IN KRIPKE SEMANTICS

Fundamenta Informaticae, 1995
We prove that a natural and simple predicate modal logic with the Barcan formula, namely QBF-KD plus the axiom of density, is not Kripke complete. Although incompleteness results are known in Kripke semantics, most of the methods used can only apply to logics stronger than QBF-S4 as they are based in a translation from intermediate logics.
openaire   +2 more sources

Algebraic Kripke-Style Semantics for Relevance Logics

Journal of Philosophical Logic, 2013
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Modelling uncertainty with kripke's semantics

1998
The 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, Elena Tsiporkova, Bernard De Baets   +2 more
openaire   +1 more source