The INFOLOG linear tense propositional logic of events and transactions

DOI10.1016/0306-4379(86)90023-2zbMath0596.68063OpenAlexW1974304857MaRDI QIDQ1079024

Amílcar Sernadas, José Luiz Fiadeiro

Publication date: 1986

Published in: Information Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0306-4379(86)90023-2

zbMATH Keywords

livenesstense logictemporal logicsemaphores

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Information storage and retrieval of data (68P20)

Related Items (4)

Specification and verification of database dynamics ⋮ Construction of deterministic transition graphs from dynamic integrity constraints ⋮ Branching versus linear logics yet again ⋮ Transformation of dynamic integrity constraints into transaction specifications

This page was built for publication: The INFOLOG linear tense propositional logic of events and transactions