scientific article; zbMATH DE number 7655700

MaRDI QIDQ5878364

Kees van Berkel, Tim S. Lyon

Publication date: 21 February 2023

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

zbMATH Keywords

deontic logiclabelled sequent calculus\textsf{STIT} logicought implies can

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: