Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View history
Purge
English
Log in
No label defined
(Q3384161)
From MaRDI portal
Jump to:
navigation
,
search
scientific article
Language
Label
Description
Also known as
English
No label defined
scientific article
Statements
instance of
scholarly article
0 references
author
Laura Bozzelli
0 references
Alberto Molinari
0 references
Angelo Montanari
0 references
Adriano Peron
0 references
publication date
14 December 2021
0 references
full work available at URL
https://arxiv.org/abs/1709.02094
0 references
http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2017.3
0 references
MaRDI profile type
MaRDI publication profile
0 references
cites work
Maintaining knowledge about temporal intervals
0 references
The complexity of one-agent refinement modal logic
0 references
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions
0 references
Q3384161
0 references
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments
0 references
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
0 references
Q5015270
0 references
The dark side of interval temporal logic: marking the undecidability border
0 references
Alternation
0 references
“Sometimes” and “not never” revisited
0 references
A Decision Procedure for the First Order Theory of Real Addition with Order
0 references
A propositional modal logic of time intervals
0 references
Q5283018
0 references
mcmas: A Model Checker for Multi-agent Systems
0 references
The Undecidability of the Logic of Subintervals
0 references
Checking interval properties of computations
0 references
Q5351958
0 references
Temporal prepositions and their logic
0 references
Intervals and tenses
0 references
Expressiveness and completeness of an interval tense logic
0 references
Identifiers
zbMATH Open document ID
1483.68186
0 references
Mathematics Subject Classification ID
68Q60
0 references
03B44
0 references
68Q25
0 references
zbMATH DE Number
7445156
0 references
arXiv ID
1709.02094
0 references
Sitelinks
Mathematics
(1 entry)
mardi
Publication:3384161
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Concept URI