Barwise's information frames and modal logics

DOI10.1007/S00153-002-0151-1MaRDI QIDQ1407591zbMATH OpenOpenAlexFDO

Authors Vladimir Rybakov

Publication date 16 September 2003

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-002-0151-1

zbMATH Keywords

Barwise's information framemodal logics

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45)

Review text

In this paper, dedicated to the memory of John Barwise, axiomatizations of modal logics, generated by information frames, are given. Next, it is shown that every Kripke-complete modal logic is the modal logic of some class of information frames. Conversely, the modal logic, generated by a class of complete, rarefied, and fully classified information frames, is Kripke-complete.

Recommendations

• scientific article; zbMATH DE number 1936763
• scientific article; zbMATH DE number 1749192
• scientific article; zbMATH DE number 935035
• Studying incompleteness of information: A class of information logics
• scientific article; zbMATH DE number 1114035

Cited in

(2)

• scientific article; zbMATH DE number 1936763 (Why is no real title available?)
• scientific article; zbMATH DE number 935035 (Why is no real title available?)

This page was built for publication: Barwise's information frames and modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1407591)