Completeness of neighbourhood logic
DOI10.1093/LOGCOM/10.2.271zbMATH Open0999.03017OpenAlexW1986177331MaRDI QIDQ4487260FDOQ4487260
Authors: Rana Barua, Suman Roy, Chaochen Zhou 
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
Recommendations
- scientific article; zbMATH DE number 1304337
- Completeness of a combination of neighbourhood logic and temporal logic
- Global neighbourhood completeness of the Gödel-Löb provability logic
- Completeness theory for propositional logics
- scientific article; zbMATH DE number 928021
- scientific article; zbMATH DE number 3999892
- scientific article; zbMATH DE number 1169382
- Completeness of implicational relevant logics
- scientific article; zbMATH DE number 1215462
- Neighborhood Semantics for Basic and Intuitionistic Logic
completenessKripke modelinterval modelsNeighbourhood Logicfirst-order interval temporal logicneighbourhood modalities
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Logic in computer science (03B70)
Cited In (10)
- A Road Map of Interval Temporal Logics and Duration Calculi
- Introducing polymodal neighbourhood logics
- A survey on temporal logics for specifying and verifying real-time systems
- On neighbourhood semantics thirty years later
- Completeness of a combination of neighbourhood logic and temporal logic
- Semiring neighbours: an algebraic embedding and extension of neighbourhood logic
- A Road Map of Interval Temporal Logics and Duration Calculi
- Algebraic neighbourhood logic
- A duration calculus with neighborhood modalities.
- Logical Interpolation and Projection onto State in the Duration Calculus
This page was built for publication: Completeness of neighbourhood logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4487260)
