scientific article; zbMATH DE number 7439733

zbMATH Open1478.03034arXiv1609.04091MaRDI QIDQ5015271FDOQ5015271

Emilio Muñoz-Velasco, Davide Bresolin, Guido Sciavicco

Publication date: 7 December 2021

Full work available at URL: https://arxiv.org/abs/1609.04091

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 6917935
• On the complexity of fragments of modal logics
• A substructural approach to explicit modal logic
• On expressive power of basic modal intuitionistic logic as a fragment of classical FOL
• scientific article; zbMATH DE number 823607
• scientific article; zbMATH DE number 3859091
• Modal languages and bounded fragments of predicate logic
• Subformula property in many-valued modal logics
• A uniform framework for substructural logics with modalities
• The monodic fragment of propositional term modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cites Work

• Title not available (Why is that?)
• A linear-time algorithm for testing the truth of certain quantified Boolean formulas
• Title not available (Why is that?)
• A propositional modal logic of time intervals
• Title not available (Why is that?)
• Handbook of Spatial Logics
• On sentences which are true of direct unions of algebras
• Synthesis of Reactive(1) designs
• The decision problem for formulas in prenex conjunctive normal form with binary disjunctions
• The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics
• A note on the complexity of the satisfiability of modal Horn clauses
• Logical Foundations of Proof Complexity
• The computational complexity of satisfiability of temporal Horn formulas in propositional linear-time temporal logic
• The Complexity of Clausal Fragments of LTL
• Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations
• Horn Fragments of the Halpern-Shoham Interval Temporal Logic
• A Cookbook for Temporal Conceptual Data Modelling with Description Logics

Cited In (5)

• An algebraic approach to subframe logics. Modal case
• Modal logics with hard diamond-free fragments
• Title not available (Why is that?)
• Title not available (Why is that?)
• On non-self-referential fragments of modal logics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5015271)