Results 31 to 40 of about 11,569 (296)
Inadequacy of Modal Logic in Quantum Settings [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We test the principles of classical modal logic in fully quantum settings. Modal logic models our reasoning in multi-agent problems, and allows us to solve puzzles like the muddy children paradox.
Nuriya Nurgalieva, Lídia del Rio
doaj +1 more source
Semantical Considerations on Modal Logic
Problemos, 2023 Iš anglų kalbos vertė ir pratarmę parašė Pranciškus Gricius, Vilniaus ...
Saul A. Kripke
doaj +1 more source
A logic of separating modalities
Theoretical Computer Science, 2016 AbstractWe present a logic of separating modalities, LSM, that is based on Boolean BI. LSM's modalities, which generalize those of S4, combine, within a quite general relational semantics, BI's resource semantics with modal accessibility. We provide a range of examples illustrating their use for modelling.
Courtault, J-R, Galmiche, D, Pym, D
openaire +3 more sources
Annals of Pure and Applied Logic, 1987 A system FP of propositional logic is maximal for the corresponding system FA of arithmetic if the underivability of \(A(p_ 1,...,p_ n)\) in FP implies underivability in FA of \(A(B_ 1,...,B_ n)\) for some sentences \(B_ 1,...,B_ n\) of FA. The authors prove maximality for Grzegorczyk's modal logic Grz and for S4.
Harvey M. Friedman, Robert C. Flagg
openaire +3 more sources
Lindstrom theorems for fragments of first-order logic [PDF]
Logical Methods in Computer Science, 2009 Lindstr\"om theorems characterize logics in terms of model-theoretic conditions such as Compactness and the L\"owenheim-Skolem property. Most existing characterizations of this kind concern extensions of first-order logic.
Johan van Benthem +2 more
doaj +1 more source
The modal logic of forcing [PDF]
Transactions of the American Mathematical Society, 2007 A set theoretical assertionψ\psiisforceableorpossible, written◊ψ\Diamond \psi, ifψ\psiholds in some forcing extension, andnecessary, written◻ψ\Box \psi, ifψ\psiholds in all forcing extensions. In this forcing interpretation of modal logic, we establish that if ZFC is consistent, then the ZFC-provable principles of forcing are exactly those in the modal
Hamkins, J.D., Löwe, B.
openaire +5 more sources
Bulletin of the Section of LogicA many-valued modal logic, called linear abelian modal logic \(\rm {\mathbf{LK(A)}}\) is introduced as an extension of the abelian modal logic \(\rm \mathbf{K(A)}\). Abelian modal logic \(\rm \mathbf{K(A)}\) is the minimal modal extension of the logic of
Hamzeh Mohammadi
doaj +1 more source
Organon F, 2019 100 years ago C.I. Lewis published A Survey of Symbolic Logic, which included an axiom system for a notion of implication which was ‘stricter’ than that found in Whitehead and Russell’s Principia Mathematica.
Max Cresswell
doaj +1 more source
Advanced Engineering Materials, EarlyView.This study explores combining two existing aerospace titanium alloy powders, processing them via field‐assisted sintering technology and the subsequent discovery of a novel alloy composition, termed S23, with ultra‐high tensile toughness. Fine‐scale alpha precipitates favorably form in the alloy despite the relatively slow cooling, providing an ...
Samuel Lister +2 more
wiley +1 more source
Journal of Symbolic Logic, 1995 AbstractTreating the existential quantification ∃νi as a diamond ♢i and the identity νi = νj as a constant δij, we study restricted versions of first order logic as if they were modal formalisms. This approach is closely related to algebraic logic, as the Kripke frames of our system have the type of the atom structures of cylindric algebras; the full ...
openaire +5 more sources