scientific article; zbMATH DE number 7439733

MaRDI QIDQ5015271zbMATH OpenFDO

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

Publication date 7 December 2021

Full work available at URL https://arxiv.org/abs/1609.04091, http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2016.7

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 747023 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• A Cookbook for Temporal Conceptual Data Modelling with Description Logics
• A linear-time algorithm for testing the truth of certain quantified Boolean formulas
• A note on the complexity of the satisfiability of modal Horn clauses
• A propositional modal logic of time intervals
• Handbook of Spatial Logics
• Horn fragments of the Halpern-Shoham interval temporal logic
• Logical Foundations of Proof Complexity
• On sentences which are true of direct unions of algebras
• Sub-propositional fragments of the interval temporal logic of Allen's relations
• Synthesis of Reactive(1) designs
• The complexity of clausal fragments of LTL
• The computational complexity of satisfiability of temporal Horn formulas in propositional linear-time temporal logic
• The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics
• The decision problem for formulas in prenex conjunctive normal form with binary disjunctions

Cited in

(5)

• An algebraic approach to subframe logics. Modal case
• Modal logics with hard diamond-free fragments
• scientific article; zbMATH DE number 2196592 (Why is no real title available?)
• scientific article; zbMATH DE number 6917935 (Why is no real title available?)
• 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)