No label defined (Q5109523)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7199592

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

Statements

scholarly article

0 references

Willem Conradie

0 references

0 references

Guido Sciavicco

0 references

publication date

12 May 2020

0 references

full work available at URL

https://arxiv.org/abs/1809.04468

0 references

https://lmcs.episciences.org/6260

0 references

MaRDI profile type

MaRDI publication profile

0 references

Actions and Events in Interval Temporal Logic

0 references

Maintaining knowledge about temporal intervals

0 references

Two-sorted Point-Interval Temporal Logics

0 references

Concerted instant-interval temporal semantics. I: Temporal ontologies

0 references

0 references

Unified Correspondence

0 references

Temporal representation and reasoning in artificial intelligence: Issues and approaches

0 references

Automated Reasoning with Analytic Tableaux and Related Methods

0 references

0 references

A propositional modal logic of time intervals

0 references

A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases

0 references

The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.

0 references

0 references

Identifiers

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5109523

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