scientific article; zbMATH DE number 7585715

From MaRDI portal

Publication:5104707

Jump to:navigation, search

MaRDI QIDQ5104707

Giulio Fellin, Sara Negri, Peter M. Schuster

Publication date: 15 September 2022

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logic sequent calculus proof theory Kripke model induction principles elementary proofs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (1)

Glivenko sequent classes and constructive cut elimination in geometric logics

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5104707&oldid=19619081"