scientific article
From MaRDI portal
Publication:4028792
zbMath0765.68172MaRDI QIDQ4028792
Richard B. Scherl, Alan M. Frisch
Publication date: 28 March 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)
Related Items (6)
A resolution principle for constrained logics ⋮ Programming in metric temporal logic ⋮ Free variable tableaux for propositional modal logics ⋮ Multimodal logic programming using equational and order-sorted logic ⋮ Theory matrices (for modal logics) using alphabetical monotonicity ⋮ Knowledge, action, and the frame problem
This page was built for publication:
