HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Joost J. Joosten

Publications
The Quantified Reflection Calculus as a Modal Logic
Ana de Almeida Borges and Joost J. Joosten
EasyChair Preprint 8634

Keyphrases

decidability, modal logic, quantified reflection calculus.

Copyright © 2012-2025 easychair.org. All rights reserved.