# Transaction Logic with Partially Defined Actions

J. Data Semantics, pp. 99-131, 2012.

Cited by: 7|Bibtex|Views12|
EI

Abstract:

In this paper we develop a novel logic formalism, $${\mathcal{T} \, \mathcal{R}^{PAD}}$$ (Transaction Logic with Partially Defined Actions), designed for reasoning about the effects of complex actions. $${\mathcal{T} \, \mathcal{R}^{PAD}}$$ is based on a subset of Transaction Logic, but extends it with a new kind of formulas, called premi...More

Code:

Data: