Binding modalities

DOI10.1093/LOGCOM/EXT017zbMATH Open1352.03027OpenAlexW4245485865MaRDI QIDQ2804339FDOQ2804339

Sergei Artemov, Tatiana Yavorskaya

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

Recommendations

• De re and de dicto
• scientific article; zbMATH DE number 1989643
• First-order modal logic
• scientific article; zbMATH DE number 4037817
• Binding forms in first-order logic

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)

Cited In (1)

• Modelling of Bonding with Processes and Events

This page was built for publication: Binding modalities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2804339)