Completeness of a combination of neighbourhood logic and temporal logic

DOI10.1007/S00165-004-0035-8zbMath1084.03025OpenAlexW1967285306WikidataQ130888021 ScholiaQ130888021MaRDI QIDQ1882791

Rana Barua

Publication date: 1 October 2004

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-004-0035-8

zbMATH Keywords

CompletenessPossible world semanticsFirst-order temporal logicInterval logicNeighbourhood logic

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Temporal logic (03B44)

This page was built for publication: Completeness of a combination of neighbourhood logic and temporal logic