scientific article

zbMath0567.03004MaRDI QIDQ3682464

Martín Abadi, Zohar Manna

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

first-order temporal logicnonclausal resolutionproof system for propositional temporal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Mechanization of proofs and logical operations (03B35)

Related Items (8)

A tableau-like proof procedure for normal modal logics ⋮ Concerning the semantic consequence relation in first-order temporal logic ⋮ Invariant-free clausal temporal resolution ⋮ Modal resolution in clausal form ⋮ Temporal abductive reasoning about biochemical reactions ⋮ Resolution for some first-order modal systems ⋮ Planning temporal events using point-interval logic ⋮ Temporal logic programming

This page was built for publication: