Results 61 to 70 of about 39,273,340 (170)
Relating Sequent Calculi for Bi-intuitionistic Propositional Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Bi-intuitionistic logic is the conservative extension of intuitionistic logic with a connective dual to implication. It is sometimes presented as a symmetric constructive subsystem of classical logic.
Luís Pinto, Tarmo Uustalu
doaj +1 more source
Introducing reactive Kripke semantics and arc accessibility [PDF]
, 2012 peer reviewedOrdinary Kripke models are not reactive. When we evaluate (test/ measure) a formula A at a model m, the model does not react, respond or change while we evaluate. The model is static and unchanged.
GABBAY, Dov M.
core +1 more source
Bad Practices: Unintended Consequences of Practice‐Based Theories of Reference
Analytic Philosophy, Volume 67, Issue 3, Page 249-261, September 2026.ABSTRACT Practice theories are a genus of causal theories of reference. They claim that the semantic referent of an utterance of a name is determined by features of a practice of using that name to speaker‐refer to, or coordinate actions around, a certain object.
Hugo Heagren
wiley +1 more source
Forcing for an Optimal A-Translation
LogicsKripke semantics for intuitionistic predicate logic IQC is often viewed as a forcing relation between posets and formulas. In this paper, we further introduce Cohen forcing into semantics.
Rui Li
doaj +1 more source
Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Bi-Intuitionistic Stable Tense Logics (BIST Logics) are tense logics with a Kripke semantics where worlds in a frame are equipped with a pre-order as well as with an accessibility relation which is 'stable' with respect to this pre-order.
Katsuhiko Sano, John G. Stell
doaj +1 more source
Philosophy and Phenomenological Research, Volume 113, Issue 2, Page 327-345, September 2026.ABSTRACT Philosophers often characterize perception as image‐like. There is little agreement, however, about what constitutes an imagistic or iconic representation. This article identifies five signature properties of iconic representations endorsed in the philosophical and scientific literature: item‐richness, feature‐richness, spatiotemporal ...
Jake Quilty‐Dunn
wiley +1 more source
Manuscrito: In this review I discuss Joseph Almog's book "Referential Mechanics". The book discusses direct reference as conceived by three of its founding fathers, Kripke, Kaplan and Donnellan, and introduces Almog's ambitious project of providing a referential ...
Filipe Martone
doaj +1 more source
Theoria, Volume 92, Issue 4, August 2026.ABSTRACT Contemporary epistemologists analysing knowledge take (true) propositions to be the object of knowledge. In this paper, I provide an argument for the claim that the object of knowledge is, in fact, the world. The propositions in propositional knowledge ascriptions merely describe the part of the world of which the subject is aware. Kent Bach's
Tess Dewhurst
wiley +1 more source
Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses
Inteligencia Artificial, 2020 We investigate the variant of epistemic logic S5 for reasoning about knowledge under hypotheses. The logic is equipped with a modal operator of necessity that can be parameterized with a hypothesis representing background assumptions.
Levan Uridia, Dirk Walther
doaj +1 more source
Philosophy and Phenomenological Research, Volume 113, Issue 1, Page 134-152, July 2026.ABSTRACT Determinism is (roughly) the thesis that the past determines the future. But efforts to define it precisely have exposed deep methodological disagreements. Standard possible‐worlds formulations of determinism presuppose an “agreement” relation between worlds, but this relation can be understood in multiple ways, none of which is particularly ...
Hans Halvorson +2 more
wiley +1 more source