A New Modal Approach to the Logic of Intervals

DOI10.1093/LOGCOM/EXL007zbMath1132.03005OpenAlexW2113389546MaRDI QIDQ5432670

Altaf Hussain

Publication date: 17 December 2007

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/e5b6c5f1752e236b404450f2986209134eabb67f

zbMATH Keywords

complexityexpressive powerinterval temporal logictableau algorithmminimal interval structures

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Temporal logic (03B44)

This page was built for publication: A New Modal Approach to the Logic of Intervals