scientific article
From MaRDI portal
Publication:3838808
zbMath0903.03016MaRDI QIDQ3838808
Serenella Cerrito, Marta Cialdea Mayer
Publication date: 13 August 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Other applications of logic (03B80)
Related Items (2)
A general tableau method for propositional interval temporal logics: theory and implementation ⋮ Bounded linear-time temporal logic: a proof-theoretic investigation
Uses Software
This page was built for publication:
