Search
Search Results
-
Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics
This paper deals with substructural nuclear (image-based) logics and their algebraic and Kripke-style semantics. More precisely, we first introduce a...
-
Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic
Quasi-Boolean modal algebras are quasi-Boolean algebras with a modal operator satisfying the interaction axiom. Sequential quasi-Boolean modal logics...
-
Notes on Models of (Partial) Kripke–Feferman Truth
This article investigates models of axiomatizations related to the semantic conception of truth presented by Kripke (J Philos 72(19):690–716, 1975),...
-
Kripke Contexts, Double Boolean Algebras with Operators and Corresponding Modal Systems
The notion of a context in formal concept analysis and that of an approximation space in rough set theory are unified in this study to define a...
-
The Putnam-Goodman-Kripke Paradox
The extensions of Goodman’s ‘grue’ predicate and Kripke’s ‘quus’ are constructed from the extensions of more familiar terms via a reinterpretation...
-
Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions
In this paper we provide a simplified, possibilistic semantics for the logics K45( G ), i.e. a many-valued counterpart of the classical modal logic K45...
-
Games and Bisimulations for Intuitionistic First-Order Kripke Models
The aim of this paper is to introduce the notion of a game for intuitionistic first-order Kripke models. We also establish links between notions...
-
Kripke, Quine and Steiner on Representing Natural Numbers in Set Theory
Saul Kripke’s analysis of the concept of the natural numbers that we are taught in school yields a novel and axiomatically economical way of... -
Correction to: Wittgenstein, Russell, and our Concept of the Natural Numbers
This book was inadvertently published with the addition of the editor’s name, C. J. Posy, as co-author of the chapter. His name has been removed now... -
Kripke Semantics for Intuitionistic Łukasiewicz Logic
This paper proposes a generalization of the Kripke semantics of intuitionistic logic IL appropriate for intuitionistic Łukasiewicz logic IŁL —a logic...
-
From Intuitionism to Many-Valued Logics Through Kripke Models
Intuitionistic Propositional LogicIntuitionistic propositional logic is proved to be an infinitely many valued logicMany valued logics by Gödel... -
Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion
Two intuitionistic paradefinite logics N4C and N4C + are introduced as Gentzen-type sequent calculi. These logics are regarded as a combination of...
-
Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic
This study introduces refutation-aware Gentzen-style sequent calculi and Kripke-style semantics for propositional until-free linear-time temporal...
-
Knowledge without dogmatism
Rachel Fraser, Gilbert Harman, Saul Kripke, and Maria Lasonen-Aarnio have offered arguments for paradoxical implications of knowledge. The arguments...
-
Complexity of multi-agent conformant planning with group knowledge
In this paper, we propose a dynamic epistemic framework to capture the knowledge evolution in multi-agent systems where agents are not able to...
-
God’s necessary existence: a thomistic perspective
There are strong reasons for assuming that Thomas Aquinas conceived of God’s existence in terms of logical necessity in a broad sense. Yet this seems...
-
Exact Truthmaker Semantics for Modal Logics
The present paper attempts to provide an exact truthmaker semantical analysis of modalized propositions. According to the present proposal, an exact...
-
Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5
Falsification-aware (hyper)sequent calculi and Kripke semantics for normal modal logics including S4 and S5 are introduced and investigated in this...