Results 61 to 70 of about 156,774 (303)
Free Choice in Modal Inquisitive Logic
Journal of Philosophical Logic, 2022 This paper investigates inquisitive extensions of normal modal logic with an existential modal operator taken as primitive. The semantics of the existential modality is generalized to apply to questions, as well as statements.
Karl Nygren
semanticscholar +1 more source
Relations between propositional normal modal logics: an overview [PDF]
Journal of Logic and Computation, 1997 In this short paper the authors give a useful overview of the most common propositional normal modal logics by first providing a catalogue of their axioms (and of the alternative names that have been considered in the standard textbooks, papers and reports), and then investigating the relationships between the logics; the equivalence between multiple ...
GORÉ, RAJEEV +2 more
openaire +4 more sources
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
, 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
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
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
A modal logic amalgam of classical and intuitionistic propositional logic
, 2015 A famous result, conjectured by G\"odel in 1932 and proved by McKinsey and Tarski in 1948, says that $\varphi$ is a theorem of intuitionistic propositional logic IPC iff its G\"odel-translation $\varphi'$ is a theorem of modal logic S4. In this paper, we
Lewitzka, Steffen
core +1 more source
Advanced Engineering Materials, EarlyView.A powerful electronic control system enables a dielectric elastomer pump to operate at resonance, matching conventional pump performance. Using self‐sensing to reconstruct load pressure dynamically, the adaptive control adjusts resonance frequency accordingly.
Matthias Baltes +3 more
wiley +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
Gate‐Tunable Hole Transport in In‐Plane Ge Nanowires by V‐Groove Confined Selective Epitaxy
Advanced Functional Materials, EarlyView.Ge nanowires are promising for hole spin‐based quantum processors, requiring direct integration onto Si wafers. This work introduces V‐groove‐confined selective epitaxy for in‐plane nanowire growth on Si. Structural and low‐temperature transport measurements confirm their high crystalline quality, gate‐tunable hole densities, and mobility.
Santhanu Panikar Ramanandan +11 more
wiley +1 more source