Publication:4247208
From MaRDI portal
zbMath0928.03006MaRDI QIDQ4247208
Publication date: 12 January 2000
tense logic; display logic; automated deduction; hybrid logics; multi-modal logics; interactive theorem prover; proof assistant Isabelle
03B45: Modal logic (including the logic of norms)
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
03B35: Mechanization of proofs and logical operations
03B44: Temporal logic
Uses Software