Results 31 to 40 of about 5,094 (281)
Everyone loves a good story: Learning design in massive open online courses for language learning
Frontiers in Education, 2022 These couple of years have witnessed an increase in interest in Higher Education Institutions (HEIs) have for Massive Open Online Courses (MOOCs). As the COVID-19 situation amply showed us, MOOCs promptly became a practical way to secure continuity of ...
Veruska De Caro-Barek
doaj +1 more source
Sahlqvist via Translation [PDF]
Logical Methods in Computer Science, 2019 In recent years, unified correspondence has been developed as a generalized Sahlqvist theory which applies uniformly to all signatures of normal and regular (distributive) lattice expansions.
Willem Conradie +2 more
doaj +1 more source
Intuitionistic Non-normal Modal Logics: A General Framework [PDF]
Journal of Philosophical Logic, 2020 Preprint
Tiziano Dalmonte +2 more
openaire +3 more sources
Quantification in Some Non-normal Modal Logics [PDF]
Journal of Philosophical Logic, 2016 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Calardo, Erica, Rotolo, Antonino
openaire +3 more sources
Distribution-Free Modal Logics: Sahlqvist–Van Benthem Correspondence
LogicsWe present an extension and generalization of Sahlqvist–van Benthem correspondence to the case of distribution-free modal logic, with, or without negation and/or implication connectives.
Chrysafis Hartonas
doaj +1 more source
Axiomatizing modal inclusion logic [PDF]
, 2022 Modal inclusion logic is modal logic extended with inclusion atoms. It is the modal variant of first-order inclusion logic, which was introduced by Galliani (2012). Inclusion logic is a main variant of dependence logic (Väänänen 2007).
Häggblom, Matilda
core
Molecular Oncology, EarlyView.Tumors contain diverse cellular states whose behavior is shaped by context‐dependent gene coordination. By comparing gene–gene relationships across biological contexts, we identify adaptive transcriptional modules that reorganize into distinct vulnerability axes.
Brian Nelson +9 more
wiley +1 more source
Logical Omniscience as a Conditionality Issue. A Multi-Modal Approach
CríticaMany solutions to the problem of Logical Omniscience assume that this arises from the behavior of the epistemic operators. However, few proposals have criticized the assumption that material implication accurately accounts for conditionality. This paper
Juan Carlos Sánchez Hernández
doaj +1 more source
Natural deduction in normal modal logic.
Notre Dame Journal of Formal Logic, 1990 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Directed evolution of enzymes at the crossroads of tradition and innovation
FEBS Open Bio, EarlyView.An iterative cycle of data‐driven enzyme optimization comprising four stages: genetic diversification of a template enzyme, expression of protein variants, high‐throughput evaluation, and machine‐learning‐guided redesign of the next variant library.
Maria Tomkova +2 more
wiley +1 more source