Results 91 to 100 of about 16,014 (243)

On Combining Intuitionistic and S4 Modal Logic

Bulletin of the Section of Logic
We address the problem of combining intuitionistic and S4 modal logic in a non-collapsing way inspired by the recent works in combining intuitionistic and classical logic.
João Rasga, Cristina Sernadas
doaj   +1 more source

Formalizing the Interaction Between Evidentiality and Egophoricity: A Multi-Modal Logic for Tibetan Epistemic Systems

Logics
Golog Tibetan grammaticalizes both evidentiality and egophoricity, but the two categories interact in a constrained way: evidential marking neutralizes the binary egophoric versus non-egophoric contrast.
Jiahong Wang
doaj   +1 more source

Translating Labels to Hypersequents for Intermediate Logics with Geometric Kripke Semantics [PDF]

, 2011
Robert Rothenberg
openalex   +2 more sources

Multi-Agent Only-Knowing Revisited [PDF]

, 2010
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavior within a monotonic logic. Despite its appeal, all attempts to extend only-
Belle, Vaishak, Lakemeyer, Gerhard
core   +2 more sources

A Distributed Kripke Semantics

, 2004
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in [10]. We extend the Kripke semantics of intuitionistic logic, enriching each possible Kripke state with a set of places, and show that this semantics is both sound and complete for the logic. In the semantics, resources of a distributed system
Chadha, R., Macedonio, D., Sassone, V.
openaire   +1 more source

Committing to the Truth: The Case of Disjunction

Logics
If one believes that 2+2=4, then one also believes that either 2+2=4 or 971 is a cousin prime number. This follows from doxastic logics based on standard Kripke relational semantics, which validate disjunction introduction for belief.
Niccolò Rossi
doaj   +1 more source

Some lessons from Kripke’s a puzzle about belief

Stellenbosch Papers in Linguistics, 2011
The literature on Kripke’s A Puzzle About Belief has delivered convincing answers to the problem raised by Kripke. This is so both for referentialists and descriptivists. In this article I consider what I take to be the best responses of both parties and
Smit, J. P.
doaj   +1 more source

A Logical Modeling of Severe Ignorance. [PDF]

J Philos Logic, 2023
Bonzio S, Fano V, Graziani P, Pra Baldi M.   +3 more
europepmc   +1 more source

Kripke contra Kripke – Semantic Reference as Conventionalized Speaker’s Reference

Erkenntnis
AbstractI argue that Kripke’s construal of the distinction between speaker’s reference and semantic reference, in ‘Speaker’s reference and semantic reference’ (Kripke in Midwest Stud Philos 2:255–276, 1977), in conjunction with an intuitive view of the nature of conventions, implies a theory of semantic reference that is distinct from his causal theory.
openaire   +1 more source

A Temporal Logic for Hyperproperties

, 2013
Hyperproperties, as introduced by Clarkson and Schneider, characterize the correctness of a computer program as a condition on its set of computation paths.
Finkbeiner, Bernd, Rabe, Markus N., Sánchez, César   +2 more
core