scientific article; zbMATH DE number 6917935

DOI10.23638/LMCS-14(2:16)2018zbMath1453.03016arXiv1611.08800MaRDI QIDQ4580320

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: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Synthesis of Reactive(1) designs
• Multimodal logic programming using equational and order-sorted logic
• The computational complexity of satisfiability of temporal Horn formulas in propositional linear-time temporal logic
• A linear-time algorithm for testing the truth of certain quantified Boolean formulas
• The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics
• The Complexity of Clausal Fragments of LTL
• Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations
• A Cookbook for Temporal Conceptual Data Modelling with Description Logics
• A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic
• Handbook of Spatial Logics
• A note on the complexity of the satisfiability of modal Horn clauses
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• Horn Fragments of the Halpern-Shoham Interval Temporal Logic
• On sentences which are true of direct unions of algebras

This page was built for publication: