Reasoning about possibilities: Modal logics, possible worlds, and mental models. [PDF]
Psychon Bull RevJohnson-Laird PN, Ragni M.
europepmc +1 more source
Evolution of Linguistic Markers of Agency, Centrality and Content During Metacognitive Therapy for Psychosis: A Pilot Exploratory Study. [PDF]
Early Interv PsychiatryNikzad AH +7 more
europepmc +1 more source
A boolean-algebraic approach to completeness for normal modal predicate logics
Weijun Shi
openalex +2 more sources
Regulating AI-Based Medical Devices in Saudi Arabia: New Legal Paradigms in an Evolving Global Legal Order. [PDF]
Asian Bioeth RevSolaiman B.
europepmc +1 more source
Binary Decision Diagrams for First Order Predicate Logic
, 1995 Jan Friso Groote
openalex +1 more source
QAMT: An LLM-Based Framework for Quality-Assured Medical Time-Series Data Generation. [PDF]
Sensors (Basel)Luo Y, Zhang Y, Xing C, Ren P, Liu X.
europepmc +1 more source
Syntactic complexity recognition and analysis in Chinese-English machine translation: A comparative study based on the BLSTM-CRF model. [PDF]
PLoS OneTian Y.
europepmc +1 more source
Algorithmic Expressivity in Higher-Order Predicate Logic
SÉRGIO DE ANDRADE, PAULO
openalex +1 more source
A logic-based resilience metric for water resource recovery facilities.
Environ Sci (Camb)Laino AS +3 more
europepmc +1 more source