Results 1 to 10 of about 1,933,548 (305)
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 +3 more sources
Decidability of order-based modal logics
Journal of Computer and System Sciences, 2017 Decidability of the validity problem is established for a family of many-valued modal logics, notably Godel modal logics, where propositional connectives are evaluated according to the order of values in a complete sublattice of the real unit interval ...
George Metcalfe
exaly +2 more sources
Towards a Proof Theory of G\"odel Modal Logics [PDF]
Logical Methods in Computer Science, 2011 Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic.
George Metcalfe, Nicola Olivetti
doaj +3 more sources
A fully labelled proof system for intuitionistic modal logics
Journal of Logic and Computation, 2021 Labelled proof theory has been famously successful for modal logics by mimicking their relational semantics within deductive systems. Simpson in particular designed a framework to study a variety of intuitionistic modal logics integrating a binary ...
Sonia Marin +2 more
semanticscholar +1 more source
A basic epistemic logic and its algebraic model
Intermaths, 2023 In this paper we propose an algebraic model for a modal epistemic logic. Although it is known the existence of algebraic models for modal logics, considering that there are so many different modal logics, so it is not usual to give an algebraic model ...
Hércules de Araujo Feitosa +2 more
doaj +3 more sources
Modal Logics for Nominal Transition Systems [PDF]
Logical Methods in Computer Science, 2021 We define a general notion of transition system where states and action labels can be from arbitrary nominal sets, actions may bind names, and state predicates from an arbitrary logic define properties of states. A Hennessy-Milner logic for these systems
Joachim Parrow +4 more
doaj +1 more source
Temporal Justification Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification terms.
Samuel Bucheli +2 more
doaj +1 more source
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 +1 more source
Validity and Entailment in Modal and Propositional Dependence Logics [PDF]
Logical Methods in Computer Science, 2019 The computational properties of modal and propositional dependence logics have been extensively studied over the past few years, starting from a result by Sevenster showing NEXPTIME-completeness of the satisfiability problem for modal dependence logic ...
Miika Hannula
doaj +1 more source
Relation-Changing Logics as Fragments of Hybrid Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Relation-changing modal logics are extensions of the basic modal logic that allow changes to the accessibility relation of a model during the evaluation of a formula.
Carlos Areces +3 more
doaj +1 more source