Completeness of neighbourhood logic

DOI10.1093/logcom/10.2.271zbMath0999.03017OpenAlexW1986177331MaRDI QIDQ4487260

Chaochen Zhou, Suman Roy, Rana Barua

Publication date: 3 December 2002

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

Full work available at URL: http://eprints.iisc.ac.in/1730/1/Completeness.pdf

zbMATH Keywords

completenessKripke modelinterval modelsNeighbourhood Logicfirst-order interval temporal logicneighbourhood modalities

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (6)

A duration calculus with neighborhood modalities ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ Algebraic neighbourhood logic ⋮ Logical Interpolation and Projection onto State in the Duration Calculus ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ A Road Map of Interval Temporal Logics and Duration Calculi

This page was built for publication: Completeness of neighbourhood logic