scientific article; zbMATH DE number 1341605

zbMath0938.03032MaRDI QIDQ4263154

Stéphane P. Demri, Rajeev Goré

Publication date: 11 May 2000

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

zbMATH Keywords

first order logicdisplay calculuspolynomial-time transformationmodal provability logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

This page was built for publication: