scientific article
From MaRDI portal
Publication:3586993
zbMath1198.03002MaRDI QIDQ3586993
Juan Redmond, Matthieu Fontaine
Publication date: 1 September 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical propositional logic (03B05) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Game Semantics and the Manifestation Thesis ⋮ Operation and Predicativity: Lorenzen’s Approach to Arithmetic ⋮ Inconsistency-adaptive dialogical logic
This page was built for publication: