Results 11 to 20 of about 156,774 (303)
Non-normal modalities in variants of linear logic [PDF]
Journal of Applied Non-Classical Logics, 2015 This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of Linear Logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities.
Daniele Porello, Nicolas Troquard
core +11 more sources
Disjunctive bases: normal forms and model theory for modal logics [PDF]
Logical Methods in Computer Science, 2022 We present the concept of a disjunctive basis as a generic framework for normal forms in modal logic based on coalgebra. Disjunctive bases were defined in previous work on completeness for modal fixpoint logics, where they played a central role in the ...
Sebastian Enqvist, Yde Venema
doaj +5 more sources
On Nested Sequents for Constructive Modal Logics [PDF]
Logical Methods in Computer Science, 2015 We present deductive systems for various modal logics that can be obtained from the constructive variant of the normal modal logic CK by adding combinations of the axioms d, t, b, 4, and 5.
Lutz Strassburger +2 more
doaj +9 more sources
Generic Modal Cut Elimination Applied to Conditional Logics [PDF]
Logical Methods in Computer Science, 2011 We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the purely modal part of the rule system. Our criterion applies also to a wide
Dirk Pattinson, Lutz Schröder
doaj +3 more sources
Should We Embrace Impossible Worlds Due to the Flaws of Normal Modal Logic? [PDF]
Logica UniversalisSome philosophers advance the claim that the phenomena of logical omniscience and of the indiscernibility of metaphysical statements, which arise in (certain) interpretations of normal modal logic, provide strong reasons in favour of impossible world ...
Til Eyinck
semanticscholar +4 more sources
Normal Proofs and Tableaux for the Font-Rius Tetravalent Modal Logic [PDF]
Logic and Logical Philosophy, 2023 Tetravalent modal logic (TML) was introduced by Font and Rius in 2000. It is an expansion of the Belnap-Dunn four-valued logic FOUR, a logical system that is well-known for the many applications found in several fields.
Marcelo E. Coniglio, Martín Figallo
openalex +3 more sources
A Type-Directed Negation Elimination [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 In the modal mu-calculus, a formula is well-formed if each recursive variable occurs underneath an even number of negations. By means of De Morgan's laws, it is easy to transform any well-formed formula into an equivalent formula without negations ...
Etienne Lozes
doaj +4 more sources
Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics [PDF]
Journal of Logic and Computation, 2022 In this paper, a proof-theoretic method to prove uniform Lyndon interpolation (ULIP) for non-normal modal and conditional logics is introduced and applied to show that the logics, $\textsf{E}$, $\textsf{M}$, $\textsf{EN}$, $\textsf{MN}$, $\textsf{MC}$,
Amirhossein Akbar Tabatabai +2 more
openalex +3 more sources
A Resolution Prover for Coalition Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We present a prototype tool for automated reasoning for Coalition Logic, a non-normal modal logic that can be used for reasoning about cooperative agency.
Cláudia Nalon +3 more
doaj +5 more sources
An expressive completeness theorem for coalgebraic modal mu-calculi [PDF]
Logical Methods in Computer Science, 2017 Generalizing standard monadic second-order logic for Kripke models, we introduce monadic second-order logic interpreted over coalgebras for an arbitrary set functor. We then consider invariance under behavioral equivalence of MSO-formulas.
Sebastian Enqvist +2 more
doaj +6 more sources