Results 71 to 80 of about 1,478 (181)
Ordered Kripke Model, Permissibility, and Convergence of Probabilistic Kripke Model
, 2018 We define a modification of the standard Kripke model, called the ordered Kripke model, by introducing a linear order on the set of accessible states of each state. We first show this model can be used to describe the lexicographic belief hierarchy in epistemic game theory, and perfect rationalizability can be characterized within this model.
openaire +2 more sources
Winged horses, rascals and discourse referents
Theoria, EarlyView.Abstract This paper discusses some remarks Kaplan made in ‘Bob and Carol and Ted and Alice’ concerning empty names. I show how his objections to a particular view involving descriptions derived from Ramsification can be avoided by a nearby alternative framed in terms of discourse reference.
Andreas Stokke
wiley +1 more source
Decidability of Multi-agent Logic of Computation Trees $\mathcal{CTLK}^{Rel}$
Известия Иркутского государственного университета: Серия "Математика"We continue to explore the multi-agent logic of computational trees relative to the relational Kripke semantics of possible worlds: we investigate the question of logical solvability, the complexity of model construction, feasibility testing, and ...
S.I. Bashmakov, K. A. Smelykh
doaj +1 more source
Modal Logic and Modal Metaphysics: An Avicennian Division of Labour
Theoria, EarlyView.ABSTRACT This paper argues that Avicenna was both a necessitarian and a realist about contingency. The two aspects of his modal metaphysics are reconciled by arguing that Avicenna's modal metaphysics is founded on realism about essences: strictly speaking, an individual has no contingent properties, but a modal distinction can be made between the ...
Jari Kaukua
wiley +1 more source
Azafea: Revista de Filosofía, 2009 RESUMEN: Tras una introducción histórica al intuicionismo como filosofía de las matemáticas, se introduce la lógica intuicionista. Comenzamos desde sus fundamentos según la interpretación BHK, y continuamos con las reglas del cálculo de deducción natural
Dick DE JONGH
doaj
Infrastructure support for software import substitution
Открытое образование (Москва), 2018 The purpose of the research is to improve the efficiency of software import substitution processes. In the process of import substitution, we highlight two issues: the issue of retraining a huge number of employees of organizations where it is necessary ...
V. K. Grigoryev +2 more
doaj +1 more source
Swap Kripke Models for Deontic LFIs
Logic and Logical PhilosophyWe present a construction of nondeterministic semantics for some deontic logics based on the class of paraconsistent logics known as Logics of Formal Inconsistency (LFIs), for the first time combining swap structures and Kripke models through the novel notion of swap Kripke models.
Mahan Vaz, Marcelo E. Coniglio
openaire +2 more sources
Theoria, EarlyView.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
Objective sleep parameters and diurnal blood pressure in concurrent hypertension and type 2 diabetes
Sleep Research, Volume 3, Issue 3, Page 195-203, September 2026.Abstract Background Hypertension is a primary cardiovascular complication in type 2 diabetes associated with increased morbidity and mortality. Ambulatory blood pressure monitoring (ABPM) is essential for capturing circadian BP variation, which is closely influenced by sleep. Methods Twenty patients (63.75 ± 4.44 years old, 40% female, duration of T2D:
Yan Zhao +6 more
wiley +1 more source
On the Adequacy and Substantiality of the Structuralist Thesis
Studia Universitatis Babeș-Bolyai. PhilosophiaThe idea that positions in structures have no mathematically significant non-fundamental features is a constitutive trait of non-eliminative structuralism; it underpins the restricted structuralist thesis that all fundamental properties are structural ...
Adrian LUDUȘAN
doaj +1 more source