Publication:4250364
From MaRDI portal
zbMath0926.03021MaRDI QIDQ4250364
Publication date: 17 June 1999
interpolation; modal logic; consistency; bisimulation; fibering; modal logics of knowledge and belief
03B45: Modal logic (including the logic of norms)
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
68T30: Knowledge representation
03B70: Logic in computer science
Related Items
Failure of interpolation in combined modal logics, Guarded Negation, Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions, Uniform guarded fragments, Interpolation in non-classical logics