scientific article; zbMATH DE number 2086604

zbMath1057.03013MaRDI QIDQ4737138

Alfredo Burrieza, Inma P. de Guzmán

Publication date: 11 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2309/23090239.htm

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

zbMATH Keywords

completenessdefinabilityfunctional semantics\(T\times W\)-semantics

Mathematics Subject Classification ID

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

This page was built for publication: