scientific article
From MaRDI portal
Publication:3338212
zbMath0547.03008MaRDI QIDQ3338212
Ana Cavalli, Luis Fariñas del Cerro
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
temporal operatorsconjunctive normal formsdecision method for propositional temporal logic of programsresolution rules for modal formulasTransformation rules
Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)
Related Items (7)
Invariant-free clausal temporal resolution ⋮ Temporal abductive reasoning about biochemical reactions ⋮ Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ An epistemic model of logic programming ⋮ Search strategies for resolution in temporal logics ⋮ Bounded linear-time temporal logic: a proof-theoretic investigation ⋮ Clausal resolution in a logic of rational agency
This page was built for publication: