scientific article; zbMATH DE number 5872415

zbMATH Open1244.03070MaRDI QIDQ3085171FDOQ3085171

Authors: Martin Otto, Robert Piro 

Publication date: 30 March 2011

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

Recommendations

• A modal loosely guarded fragment of second-order propositional modal logic
• Modal and guarded characterisation theorems over finite transition systems
• The bounded fragment and hybrid logic with polyadic modalities
• On guarded transformation in the modal \(\mu\)-calculus
• Modal languages and bounded fragments of predicate logic
• Universal guards, relativization of quantifiers, and failure models in model checking modulo theories
• A characterization theorem for the alternation-free fragment of the modal \(\mu\)-calculus
• Lindstrom theorems for fragments of first-order logic
• On the complexity of fragments of modal logics
• On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards

zbMATH Keywords

modal logicguarded fragmentglobal modalitybisimulation invarianceLindström theoremsTarski union property

Mathematics Subject Classification ID

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

Cited In (9)

• A Lindström theorem for intuitionistic first-order logic
• Some model theory for the modal \(\mu\)-calculus: syntactic characterisations of semantic properties
• First-order modal logic: frame definability and a Lindström theorem
• A general Lindström theorem for some normal modal logics
• A Lindström theorem for intuitionistic propositional logic
• Games and Lindström theorems
• Logic between expressivity and complexity
• On generalized van Benthem-type characterizations
• A Lindström theorem in many-valued modal logic over a finite MTL-chain

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 Q3085171)