The impact of educational live action role-playing games on social-emotional competence: a mixed-method study with Chinese college students. [PDF]
Zhang J, Xu J, Li M.
europepmc +1 more source
Artificial intelligence in preclinical epilepsy research: Current state, potential, and challenges
Abstract Preclinical translational epilepsy research uses animal models to better understand the mechanisms underlying epilepsy and its comorbidities, as well as to analyze and develop potential treatments that may mitigate this neurological disorder and its associated conditions. Artificial intelligence (AI) has emerged as a transformative tool across
Jesús Servando Medel‐Matus +7 more
wiley +1 more source
Modelling analysis of career control sources and critical thinking among nursing undergraduates during the epidemic: a cross-sectional survey study. [PDF]
Xiao Y +7 more
europepmc +1 more source
Cognitive Capacities as Functional Natural Kinds. [PDF]
García CL +2 more
europepmc +1 more source
Moxie begets MOXI: The journey to a novel hypothesis about Mu-opioid and OXytocin system Interactions. [PDF]
Nisbett KE.
europepmc +1 more source
Finite model property and decidability of inquisitive modal logic and its extensions
Stipe Marić
openalex
Inquisitive Propositional Dynamic Logic
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Vít Punčochář, Igor Sedlár
exaly +3 more sources
Related searches:
A Multi-type Calculus for Inquisitive Logic
Lecture Notes in Computer Science, 2016In this paper, we define a multi-type calculus for inquisitive logic, which is sound, complete and enjoys Belnap-style cut-elimination and subformula property. Inquisitive logic is the logic of inquisitive semantics, a semantic framework developed by Groenendijk, Roelofsen and Ciardelli which captures both assertions and questions in natural language ...
Giuseppe Greco +2 more
exaly +3 more sources
SUBSTRUCTURAL INQUISITIVE LOGICS
The Review of Symbolic Logic, 2019AbstractThis paper shows that any propositional logic that extends a basic substructural logic BSL (a weak, nondistributive, nonassociative, and noncommutative version of Full Lambek logic with a paraconsistent negation) can be enriched with questions in the style of inquisitive semantics and logic.
openaire +1 more source
Decidability of Inquisitive Modal Logic via Filtrations
Inquisitive logic is an extension of classical logic which can express questions. To enable this expressiveness, a possible world semantics is used. So, it is natural to combine inquisitive and modal logic, thus obtaining the inquisitive modal logic InqML.
Marić, Stipe, Perkov, Tin
exaly +3 more sources

