Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals

Podobne knjige/članki

• Hybrid fragments of Halpern–Shoham logic and their expressive power
  od: Wałęga, P
  Izdano: (2019)
• Decidability of the Interval Temporal Logic ABB Over the Natural Numbers
  od: Montanari, A, et al.
  Izdano: (2010)
• A Decidable Spatial Logic with Cone−shaped Cardinal Directions
  od: Montanari, A, et al.
  Izdano: (2009)
• Decidability of MSO Theories of Tree Structures
  od: Montanari, A, et al.
  Izdano: (2004)
• Decidability of the Theory of the Totally Unbounded omega−Layered Structure
  od: Montanari, A, et al.
  Izdano: (2004)