scientific article; zbMATH DE number 6399373

zbMath1318.03031MaRDI QIDQ5173183

Manuel A. Martins, María Manzano, Antonia Huertas

Publication date: 9 February 2015

Full work available at URL: http://www.filozof.uni.lodz.pl/bulletin/pdf/43_34_1.pdf

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

zbMATH Keywords

equational hybrid logicpropositional type theory

Mathematics Subject Classification ID

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

Related Items (5)

Exorcising the phantom zone ⋮ Compositional meaning in logic ⋮ Identity, equality, nameability and completeness. Part II ⋮ A Hilbert-style axiomatisation for equational hybrid logic ⋮ Completeness in equational hybrid propositional type theory

This page was built for publication: