EasyChair Smart SlideUser guide
Author: Yaroslav Petrukhin

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

From simplified Kripke-style semantics to simplified analytic tableaux for some normal modal logics

From simplified Kripke-style semantics to simplified analytic tableaux for some normal modal logics

Michal Zawidzki and Yaroslav Petrukhin

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