Handling database updates in two-dimensional temporal logic

DOI10.1080/11663081.1992.10510782zbMath0798.68048OpenAlexW2092210761MaRDI QIDQ4275692

Marcelo Finger

Publication date: 1 February 1994

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.1992.10510782

zbMATH Keywords

two-dimensional temporal logicupdatestemporal specificationshistorical database systemstemporal actions

Mathematics Subject Classification ID

Database theory (68P15) Modal logic (including the logic of norms) (03B45)

Related Items (2)

Combining temporal logic systems ⋮ Adding a temporal dimension to a logic system

Cites Work

• Semantical considerations on nonmonotonic logic
• Axioms for tense logic. I: 'Since' and 'until'
• Adding a temporal dimension to a logic system
• Expressiveness and completeness of an interval tense logic
• A basis for deductive database systems
• Formal semantics for time in databases
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Handling database updates in two-dimensional temporal logic