Logic of proofs with substitution
From MaRDI portal
Publication:941919
DOI10.1134/S0001434607110260zbMath1147.03033MaRDI QIDQ941919
Publication date: 2 September 2008
Published in: Mathematical Notes (Search for Journal in Brave)
semantic tableaulogic of proofsinternalizationsymbolic semanticssymbolic modelaxiomatics of substitutionfinitely generated reflexive modeltableau of labels
Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Cites Work
This page was built for publication: Logic of proofs with substitution