scientific article; zbMATH DE number 7297837

zbMath1452.03058MaRDI QIDQ5144635

G. A. Kavvos

Publication date: 19 January 2021

Full work available at URL: http://dl.acm.org/citation.cfm?id=3330024

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

Mathematics Subject Classification ID

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

Related Items (7)

Modality via iterated enrichment ⋮ Normalization by evaluation for modal dependent type theory ⋮ Dual and axiomatic systems for constructive S4, a formally verified equivalence ⋮ Modal dependent type theory and dependent right adjoints ⋮ A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4 ⋮ Axiomatic and dual systems for constructive necessity, a formally verified equivalence ⋮ Unnamed Item

This page was built for publication: