scientific article; zbMATH DE number 1163388

zbMath0908.03023MaRDI QIDQ4394917

Wilfried Meyer-Viol, Patrick Blackburn

Publication date: 2 March 1999

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

zbMATH Keywords

decidabilitymultimodal logicKripke completenesslinguistic applicationsmodal logic of finite binary ordered trees

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65)

This page was built for publication: