Binding modalities

DOI10.1093/LOGCOM/EXT017zbMath1352.03027OpenAlexW4245485865MaRDI QIDQ2804339

Tatiana Yavorskaya, Sergej N. Artemov

Publication date: 28 April 2016

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/05d59ba283103dfabd3902e815a5cbc27fbcf6a9

zbMATH Keywords

modal logiclogic of proofs

Mathematics Subject Classification ID

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

This page was built for publication: Binding modalities