Results 21 to 30 of about 154,261 (280)
Neutrosophic Modal Logic [PDF]
Neutrosophic Sets and Systems, 2017 We introduce now for the first time the neutrosophic modal logic. The Neutrosophic Modal Logic includes the neutrosophic operators that express the modalities. It is an extension of neutrosophic predicate logic and of neutrosophic propositional logic.
Florentin Smarandache
doaj +1 more source
Inferences Between Buridan’s Modal Propositions
Problemos, 2022 In recent years modal syllogistic provided by 14th century logician John Buridan has attracted increasing attention of historians of medieval logic. The widespread use of quantified modal logic with the apparatus of possible worlds semantics in current ...
Jonas Dagys +2 more
doaj +1 more source
Probabilistic logics based on Riesz spaces [PDF]
Logical Methods in Computer Science, 2020 We introduce a novel real-valued endogenous logic for expressing properties of probabilistic transition systems called Riesz modal logic. The design of the syntax and semantics of this logic is directly inspired by the theory of Riesz spaces, a mature ...
Robert Furber, Radu Mardare, Matteo Mio
doaj +1 more source
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic [PDF]
Logical Methods in Computer Science, 2021 Open bisimilarity is defined for open process terms in which free variables may appear. The insight is, in order to characterise open bisimilarity, we move to the setting of intuitionistic modal logics. The intuitionistic modal logic introduced, called $\
Ki Yung Ahn, Ross Horne, Alwen Tiu
doaj +1 more source
Satisfiability vs. Finite Satisfiability in Elementary Modal Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We study elementary modal logics, i.e. modal logic considered over first-order definable classes of frames. The classical semantics of modal logic allows infinite structures, but often practical applications require to restrict our attention to finite ...
Jakub Michaliszyn +2 more
doaj +1 more source
From Hybrid Modal Logic to Matching Logic and Back [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Building on our previous work on hybrid polyadic modal logic we identify modal logic equivalents for Matching Logic, a logic for program specification and verification.
Ioana Leuştean +2 more
doaj +1 more source
A Real-Valued Modal Logic [PDF]
Logical Methods in Computer Science, 2018 A many-valued modal logic is introduced that combines the usual Kripke frame semantics of the modal logic K with connectives interpreted locally at worlds by lattice and group operations over the real numbers.
Denisa Diaconescu +2 more
doaj +1 more source
Binary modal logic and unary modal logic
Logic Journal of the IGPL, 2023 Abstract Standard unary modal logic and binary modal logic, i.e. modal logic with one binary operator, are shown to be definitional extensions of one another when an additional axiom $U$ is added to the basic axiomatization of the binary side. This is a strengthening of our previous results.
de Jongh, Dick +1 more
openaire +2 more sources
Systematic Verification of the Modal Logic Cube in Isabelle/HOL [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We present an automated verification of the well-known modal logic cube in Isabelle/HOL, in which we prove the inclusion relations between the cube's logics using automated reasoning tools. Prior work addresses this problem but without restriction to the
Christoph Benzmüller +2 more
doaj +1 more source
Modal‐type orthomodular logic [PDF]
Mathematical Logic Quarterly, 2009 AbstractIn this paper we enrich the orthomodular structure by adding a modal operator, following a physical motivation. A logical system is developed, obtaining algebraic completeness and completeness with respect to a Kripkestyle semantic founded on Baer*‐semigroups as in [22] (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
DOMENECH G +2 more
openaire +5 more sources