Results 91 to 100 of about 825,268 (301)
Extensões de primeira ordem para a lógica do anúncio público [PDF]
, 2015 Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia, Florianópolis, 2015.Dentre as lógicas multimodais, a lógica epistêmica dinâmica foi desenvolvida para modelar as ...
Pereira, Marcio Kléos Freire
core
Australian Journal of Social Issues, EarlyView.ABSTRACT Education is a central mechanism for ensuring that Indigenous–State treaties are understood, supported and endure through political change. Public knowledge shapes the negotiation, acceptance, implementation and long‐term stability of agreements. In Australia, however, treaty knowledge remains fragmented.
Jacob Prehn, Harry Hobbs, Jessica Horton
wiley +1 more source
Sur les « opérateurs rétrogrades »
Philosophia Scientiæ, 2004 A logic of ‘backwards-looking operators’ (OR) is defined using semantical games, played on models with two dimensions, one for time and another for epistemic scenarios.
Tero Tulenheimo
doaj +1 more source
King Aorta: Narrative anatomy education
Anatomical Sciences Education, Volume 18, Issue 3, Page 264-276, March 2025.Abstract The aim of this study was to investigate the effects of narrative anatomy education and traditional anatomy education on academic achievement. The study included 64 students who were randomly divided into two groups. The two groups were (n = 32) control (Group 1) and (n = 32) experimental (Group 2). The pretest scores of the two groups were 36.
Halil Yilmaz
wiley +1 more source
Expertise and information: an epistemic logic perspective. [PDF]
Synthese, 2023 Singleton J, Booth R.
europepmc +1 more source
A Family of Graded Epistemic Logics
Electronic Notes in Theoretical Computer Science, 2018 Abstract Multi-Agent Epistemic Logic has been investigated in Computer Science [Fagin, R., J. Halpern, Y. Moses and M. Vardi, “Reasoning about Knowledge,” MIT Press, USA, 1995] to represent and reason about agents or groups of agents knowledge and beliefs. Some extensions aimed to reasoning about knowledge and probabilities [Fagin, R. and J. Halpern,
Mario R. F. Benevides +2 more
openaire +4 more sources
Intensional Protocols for Dynamic Epistemic Logic
, 2019 In dynamical multi-agent systems, agents are controlled by protocols. In choosing a class of formal protocols, an implicit choice is made concerning the types of agents, actions and dynamics representable.
Rendsvig, Rasmus K., +3 more
core +1 more source
Journal of the Association for Information Science and Technology, EarlyView.Abstract Caste—an ascriptive social hierarchy in South Asia and its diaspora—is a globalized phenomenon. Recent caste‐based discrimination, particularly in technology companies and anti‐caste efforts to address it, has compelled academia, policy, and the technology industry to better understand contemporary mechanics of caste.
Nayana Kirasur, Britt Paris
wiley +1 more source
, 2015 We add epistemic modal operators to the language of here-and-there logic and define epistemic here-and-there models.We then successively define epistemic equilibrium models and autoepistemic equilibrium models. The former are obtained from here-and-there models by the standard minimisation of truth of Pearce’s equilibrium logic; they provide an ...
Fariñas del Cerro, Luis +2 more
openaire +2 more sources
Convergence, Continuity and Recurrence in Dynamic Epistemic Logic
, 2017 The paper analyzes dynamic epistemic logic from a topological perspective. The main contribution consists of a framework in which dynamic epistemic logic satisfies the requirements for being a topological dynamical system thus interfacing discrete ...
Rendsvig, Rasmus K., +2 more
core +1 more source