scientific article; zbMATH DE number 4039863

MaRDI QIDQ3778725zbMATH OpenFDO

Authors Ewa Orłowska

Publication date 1987

zbMATH Keywords

epistemic logic with operatorsindiscernibilityKripke-like semantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Artificial intelligence (68T99)

Recommendations

• Logic For Reasoning About Knowledge
• A logic with relative knowledge operators
• scientific article; zbMATH DE number 2212572
• scientific article; zbMATH DE number 1999226
• A First-order Logic for Reasoning about Knowledge and Probability

Cited in

(13)

• A logic with relative knowledge operators
• Knowledge is a diamond
• scientific article; zbMATH DE number 5872216 (Why is no real title available?)
• A Logic of Knowing How
• Logic For Reasoning About Knowledge
• scientific article; zbMATH DE number 1529821 (Why is no real title available?)
• scientific article; zbMATH DE number 847979 (Why is no real title available?)
• Relating semantics for epistemic logic
• Logic of confidence
• scientific article; zbMATH DE number 5227716 (Why is no real title available?)
• scientific article; zbMATH DE number 3321236 (Why is no real title available?)
• Logics for knowability
• Bibliography of Ewa Orłowska

This page was built for publication:

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