scientific article; zbMATH DE number 6917935

DOI10.23638/LMCS-14(2:16)2018zbMATH Open1453.03016arXiv1611.08800MaRDI QIDQ4580320FDOQ4580320

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

Publication date: 15 August 2018

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

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

Recommendations

• scientific article; zbMATH DE number 7439733
• On the complexity of fragments of modal logics
• scientific article; zbMATH DE number 823607
• A substructural approach to explicit modal logic
• On non-self-referential fragments of modal logics
• The monodic fragment of propositional term modal logic
• Modal languages and bounded fragments of predicate logic
• scientific article; zbMATH DE number 1841824
• Kripke semantics for modal substructural logics
• scientific article; zbMATH DE number 7204444

zbMATH Keywords

modal logicHorn and sub-Horn fragmentsKrom and sub-Krom fragments

Mathematics Subject Classification ID

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

Cites Work

• A linear-time algorithm for testing the truth of certain quantified Boolean formulas
• Title not available (Why is that?)
• 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 Computational Complexity of Provability in Systems of Modal Propositional Logic
• 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
• Title not available (Why is that?)
• Multimodal logic programming using equational and order-sorted logic
• 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
• Title not available (Why is that?)
• A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic

Cited In (8)

• An algebraic approach to subframe logics. Modal case
• On the complexity of fragments of modal logics
• Modal logics with hard diamond-free fragments
• Adding clauses to poor man's logic (without increasing the complexity)
• Modal languages and bounded fragments of predicate logic
• 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 Q4580320)