scientific article; zbMATH DE number 1735873

zbMath0993.03021MaRDI QIDQ4329234

J. F. A. K. van Benthem

Publication date: 23 July 2002

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

zbMATH Keywords

undecidabilitymodal logicdecidabilityguarded fragment

Mathematics Subject Classification ID

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

Related Items (2)

Dynamic logic for belief revision ⋮ Guards, bounds, and generalized semantics

This page was built for publication: