scientific article; zbMATH DE number 1303729
From MaRDI portal
zbMath0926.03021MaRDI QIDQ4250364
Publication date: 17 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Logic in computer science (03B70)
Related Items
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions, Uniform guarded fragments, Failure of interpolation in combined modal logics, Guarded Negation, Interpolation in non-classical logics