Publication:4028792
From MaRDI portal
zbMath0765.68172MaRDI QIDQ4028792
Richard B. Scherl, Alan M. Frisch
Publication date: 28 March 1993
03B45: Modal logic (including the logic of norms)
03B35: Mechanization of proofs and logical operations
Related Items
Free variable tableaux for propositional modal logics, Theory matrices (for modal logics) using alphabetical monotonicity, Knowledge, action, and the frame problem, Programming in metric temporal logic, Multimodal logic programming using equational and order-sorted logic, A resolution principle for constrained logics