CÁC BÀI BÁO KHOA HỌC 09:43:18 Ngày 23/07/2019 GMT+7
An SLD-resolution calculus for basic serial multimodal logics

We develop semantics for modal logic programs in basic serial multimodal logics, which are parameterized by an arbitrary combination of generalized versions of axioms T, B, 4, 5 (in the form, e.g., 4: □ → □j) and I: □ → □. We do not assume any special restriction for the form of programs and goals. Our fixpoint semantics and SLD-resolution calculus are defined using the direct approach and closely reflect the axioms of the used modal logic. We prove that our SLD-resolution calculus is sound and complete. © Springer-Verlag Berlin Heidelberg 2005.


 Nguyen L.A.
   727.pdf    Gửi cho bạn bè
  Từ khóa : Computer program listings; Modal analysis; Semantics; Multimodal logics; SLD-resolution calculus; Formal logic