Results 71 to 80 of about 39,273,340 (170)

Infinitary Modal Logic and Generalized Kripke Semantics [PDF]

, 2012
This paper deals with the infinitary modal propositional logic Kω1, featuring countable disjunctions and conjunc- tions. It is known that the natural infinitary extension LKω1 (here presented as a Tait-style calculus, TK♯ω1 ) of the standard sequent ...
Minari, Pierluigi
core   +1 more source

Pain Intensities

Philosophy and Phenomenological Research, Volume 113, Issue 1, Page 195-207, July 2026.
ABSTRACT Recent philosophical work on pain distinguishes a variety of pain qualities and the mechanisms that give rise to them, but pain intensity remains a monolithic notion difficult to account for in reductive terms. The reason for this difficulty is that pain intensity is not a unitary phenomenal magnitude; pain is a complex experience featuring ...
Kim Soland
wiley   +1 more source

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

Knowledge Graphs and Critical Infrastructures: Friends or Foes?

WIREs Data Mining and Knowledge Discovery, Volume 16, Issue 2, June 2026.
Conceptual overview of Knowledge Graph integration in Critical Infrastructures, illustrating interconnected systems, data flows, and their role in enhancing resilience and operational intelligence. ABSTRACT Knowledge Graphs (KGs) are a natural evolution of data models representing and connecting data in a network of nodes and relations.
José Miguel Blanco, Felix Cuadrado, Jose M. del Alamo, Juan C. Dueñas   +3 more
wiley   +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

Citizen_Petition_from_Daniel_F Kripke,_MD [PDF]

, 2016
The undersigned, Daniel F. Kripke, M.D., submits this Citizen Petition under the Federal Food, Drug & Cosmetic Act, 21 C.F.R. §§ 10.30, to request that the Commissioner of Food and Drugs take the following administrative actions with respect to the ...
Kripke, DF, Kripke, DF,
core   +1 more source

A Hybrid Intuitionistic Logic: Semantics and Decidability

, 2005
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced by Jia and Walker. The modalities of the logic allow validation of properties in a particular place, in some place and in all places.
Damiano Macedonio, Rohit Chadha, Chadha, R., Vladimiro Sassone, Macedonio, D., Sassone, V.   +5 more
core  

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

A Hybrid Intuitionistic Logic: Semantics and Decidability

, 2006
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced by Jia and Walker. The modalities of the logic allow validation of properties in a particular place, in some place and in all places.
Chadha, R., Macedonio, D., Sassone, V.
core  

Introducing Reactive Kripke Semantics and Arc Accessibility [PDF]

, 2008
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