scientific article

zbMath0977.03018MaRDI QIDQ2730719

Sergio Arturo Celani

Publication date: 21 January 2002

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

zbMATH Keywords

finite model propertyintuitionistic modal logicfragment of propositional dynamic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items (2)

Constructive Game Logic ⋮ Constructive hybrid games

This page was built for publication: