Binding modalities
From MaRDI portal
Publication:2804339
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
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