scientific article; zbMATH DE number 7471713

MaRDI QIDQ5028481FDOQ5028481

Authors: Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala 

Publication date: 9 February 2022

Full work available at URL: https://arxiv.org/abs/2006.04652

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

zbMATH Keywords

model checkingexpressivenessinterval temporal logics

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Expressiveness and completeness of an interval tense logic
• Temporal prepositions and their logic
• Tableaux for logics of subinterval structures over dense orderings
• A propositional modal logic of time intervals
• Title not available (Why is that?)
• The Undecidability of the Logic of Subintervals
• Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
• Title not available (Why is that?)
• Two variable first-order logic over ordered domains
• Title not available (Why is that?)
• A Modal Logic for Chopping Intervals
• Title not available (Why is that?)
• Modal Logics of Regions and Minkowski Spacetime
• Language in action
• Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives
• Title not available (Why is that?)

Cited In (2)

• Title not available (Why is that?)
• Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption

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