scientific article; zbMATH DE number 2174387

zbMath1079.03053MaRDI QIDQ4681890

Sergej N. Artemov

Publication date: 8 June 2005

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

zbMATH Keywords

expressive powerlambda calculuslogic of proofsmodal lambda calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Combinatory logic and lambda calculus (03B40)

Related Items

Logic of proofs