scientific article

zbMath1224.03004MaRDI QIDQ3510437

J. F. A. K. van Benthem

Publication date: 2 July 2008

Full work available at URL: https://eudml.org/doc/117040

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

zbMATH Keywords

modal logicmodel theorydynamic logicstructural rules

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (2)

The many faces of interpolation ⋮ Dynamic Epistemic Logic as a Substructural Logic

This page was built for publication: