A logic with relative knowledge operators

DOI10.1023/A:1008227432405MaRDI QIDQ1288174zbMATH OpenFDO

Authors Stéphane Demri

Publication date 11 May 1999

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1008227432405

zbMATH Keywords

decidabilitysatisfiabilityHilbert-style axiomatization

Mathematics Subject Classification ID

Knowledge representation (68T30) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• Logic For Reasoning About Knowledge
• scientific article; zbMATH DE number 4039863
• A logic for reasoning about knowledge of unawareness
• A guide to completeness and complexity for modal logics of knowledge and belief

Cited in

(13)

• The modal logic of agreement and noncontingency
• Logic For Reasoning About Knowledge
• Modal systems for covering semantics and boundary operator
• A semantics of the basic modal language based on a generalized rough set model
• Dynamic maintenance of rough approximations in multi-source hybrid information systems
• Formal reasoning in preference-based multiple-source rough set model
• scientific article; zbMATH DE number 4039863 (Why is no real title available?)
• Reasoning about attribute-relative approximations in multi-source environments: a modal framework with axiomatization
• Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements
• A formal study of a rough set model integrating relational and neighbourhood system approaches
• Decidability of logic of correlated knowledge
• A study of modal logic with semantics based on rough set theory
• Parametrized modal logic. II: The unidimensional case

This page was built for publication: A logic with relative knowledge operators

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