EasyChair Smart SlideDocs/Log in
Conference: NCL'24 (Non-Classical Logics: Theory and Applications 2024)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents

Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents

Akinori Maniwa and Ryo Kashima

Agent-Knowledge Logic for Alternative Epistemic Logic

Agent-Knowledge Logic for Alternative Epistemic Logic

Yuki Nishimura

Complexity of Nonassociative Lambek Calculus with Classical Logic

Complexity of Nonassociative Lambek Calculus with Classical Logic

Paweł Płaczek

Many-Valued Modal Logic

Many-Valued Modal Logic

Amir Karniel and Michael Kaminski

Presentations in this collection: 4
Copyright © 2002 – 2024 EasyChair