EasyChair Smart SlideUser guide
Author: Ana de Almeida Borges

This page shows all presentations of this author published in EasyChair Smart Slide.

Towards a Coq Formalization of a Quantified Modal Logic

Towards a Coq Formalization of a Quantified Modal Logic

Ana de Almeida Borges

The Quantified Reflection Calculus as a Modal Logic

The Quantified Reflection Calculus as a Modal Logic

Ana de Almeida Borges and Joost J. Joosten

Presentations in this collection: 2
Copyright © 2002 – 2026 EasyChair