scientific article; zbMATH DE number 7241861
From MaRDI portal
Publication:5119549
zbMath1473.03002MaRDI QIDQ5119549
Publication date: 30 August 2020
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logics of knowledge and belief (including belief change) (03B42) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Type theory (03B38)
Related Items (4)
Meaning and computing: two approaches to computable propositions ⋮ The Rule of Existential Generalisation and Explicit Substitution ⋮ Type polymorphism, natural language semantics, and TIL ⋮ Substitution inconsistencies in Transparent Intensional Logic
This page was built for publication:
