scientific article; zbMATH DE number 5872415
From MaRDI portal
Publication:3085171
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
modal logicguarded fragmentglobal modalitybisimulation invarianceLindström theoremsTarski union property
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)