scientific article; zbMATH DE number 5230436
From MaRDI portal
Publication:5437872
zbMath1129.03015MaRDI QIDQ5437872
Publication date: 28 January 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
propositional dynamic logiccompleteness problemintuitionistic modal logicexistential propertyfailure of negative interpretation
Related Items (4)
Constructive Game Logic ⋮ Internal axioms for domain semirings ⋮ Modal Semirings Revisited ⋮ Constructive hybrid games
This page was built for publication: