Results 41 to 50 of about 86,968 (310)
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
Non normal logics: semantic analysis and proof theory
, 2019 We introduce proper display calculi for basic monotonic modal logic,the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and subformula property.
Chen, Jinsheng +3 more
core +2 more sources
, 2017 In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of ...
Bacon, Andrew
core +1 more source
An Observation Concerning Porte’s Rule in Modal Logic [PDF]
, 2015 It is well known that no consistent normal modal logic contains (as theorems) both ◊A and ◊¬A (for any formula A). Here we observe that this claim can be strengthened to the following: for any formula A, either no consistent normal modal logic contains ...
French, Rohan, Humberstone, Lloyd
core
Molecular Oncology, EarlyView.This study integrates transcriptomic profiling of matched tumor and healthy tissues from 32 colorectal cancer patients with functional validation in patient‐derived organoids, revealing dysregulated metabolic programs driven by overexpressed xCT (SLC7A11) and SLC3A2, identifying an oncogenic cystine/glutamate transporter signature linked to ...
Marco Strecker +16 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
Post Completeness in Congruential Modal Logics [PDF]
, 2016 Well-known results due to David Makinson show that there are exactly two Post complete normal modal logics, that in both of them, the modal operator is truth-functional, and that every consistent normal modal logic can be extended to at least one of them.
Fritz, Peter
core
Gestalt Shifts in the Liar Or Why KT4M Is the Logic of Semantic Modalities [PDF]
, 2017 : This chapter offers a revenge-free solution to the liar paradox (at the centre of which is the notion of Gestalt shift) and presents a formal representation of truth in, or for, a natural language like English, which proposes to show both why -- and ...
Bobzien, Susanne
core +1 more source
Arthritis Care &Research, Accepted Article.Objective We aimed to validate the Pediatric Arthritis Ultrasound Scoring System (PAUSS) for upper extremity joints in children with juvenile idiopathic arthritis (JIA). Methods Children with JIA were evaluated for elbow, wrist, or finger arthritis by clinical examination (CE) and musculoskeletal ultrasound (MSUS) with images scored according to the ...
Patricia Vega‐Fernandez +12 more
wiley +1 more source
An algebraic generalization of Kripke structures
, 2007 The Kripke semantics of classical propositional normal modal logic is made algebraic via an embedding of Kripke structures into the larger class of pointed stably supported quantales.
Emerson +8 more
core +1 more source