Results 81 to 90 of about 14,300 (195)
A Priori Structure and Empirical Discovery: Kant, Putnam, Kripke, And Ibn Arabī on Water
, 2023 Sikander Jamil
openalex +2 more sources
Food Safety and Health, Volume 4, Issue 1, Page 220-232, January 2026.Vanillin showed moderate sedative and modulatory synergistic activities on diazepam in thiopental sodium‐induced sleeping mice. These effects are implicated with GABAergic intervention. ABSTRACT Insomnia is a common sleep disorder affecting approximately 10% of adults.
Salehin Sheikh +8 more
wiley +1 more source
The Adoption Problem and Anti-Exceptionalism about Logic [PDF]
, 2019 Anti-exceptionalism about logic takes logic to be, as the name suggests, unexceptional. Rather, in naturalist fashion, the anti-exceptionalist takes logic to be continuous with science, and considers logical theories to be adoptable and revisable ...
Finn, Suki
core +1 more source
Model‐Based Semantics: Doing Without Meaning Constitution
Metaphilosophy, Volume 57, Issue 1-2, Page 103-118, January 2026.Abstract This paper introduces a model‐based account of meaning, arguing that meaning properties reside in models rather than in the external world. Building on this view, it explores how such an instrumentalist framework can engage critically with various concerns raised by Wittgenstein, Quine, and Kripke[nstein]—each of whom voiced scepticism toward ...
Pietro Salis
wiley +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 +2 more
core
Satisfiability of CTL* with constraints
, 2013 We show that satisfiability for CTL* with equality-, order-, and modulo-constraints over Z is decidable. Previously, decidability was only known for certain fragments of CTL*, e.g., the existential and positive fragments and EF.Comment: To appear at ...
B. Courcelle +8 more
core +1 more source
Stuttering equivalence is too slow! [PDF]
, 2016 Groote and Wijs recently described an algorithm for deciding stuttering equivalence and branching bisimulation equivalence, acclaimed to run in $\mathcal{O}(m \log n)$ time. Unfortunately, the algorithm does not always meet the acclaimed running time. In
Jansen, David N., Keiren, Jeroen J. A.
core +1 more source
State/event based versus purely Action or State based Logics
, 2019 Although less studied than purely action or state based logics, state/event based logics are becoming increasingly important. Some systems are best studied using structures with information on both states and transitions, and it is these structures over ...
Smith, James
core
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
The equivalence problem for programs with mode switching is PSPACE-complete.
Труды Института системного программирования РАН, 2006 We study a formal model of imperative sequential programs. In this model programs are viewed as deterministic finite automata whose semantics is defined on Kripke structures.
Rimma Podlovchenko +2 more
doaj