No label defined (Q5028481)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7471713

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7471713

Statements

scholarly article

0 references

0 references

Alberto Molinari

0 references

Angelo Montanari

0 references

0 references

0 references

publication date

9 February 2022

0 references

full work available at URL

https://arxiv.org/abs/2006.04652

0 references

https://lmcs.episciences.org/9028

0 references

zbMATH Keywords

interval temporal logics

0 references

expressiveness

0 references

model checking

0 references

MaRDI profile type

MaRDI publication profile

0 references

Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions

0 references

Tableaux for Logics of Subinterval Structures over Dense Orderings

0 references

0 references

0 references

A propositional modal logic of time intervals

0 references

0 references

0 references

The Undecidability of the Logic of Subintervals

0 references

Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives

0 references

Two variable first-order logic over ordered domains

0 references

Temporal prepositions and their logic

0 references

0 references

Modal Logics of Regions and Minkowski Spacetime

0 references

Language in action

0 references

Expressiveness and completeness of an interval tense logic

0 references

A Modal Logic for Chopping Intervals

0 references

Identifiers

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5028481

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5028481&oldid=36765821"