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

decidabilityHilbert-style axiomatizationsatisfiability

Mathematics Subject Classification ID

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

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

(15)

• The modal logic of agreement and noncontingency
• Formal reasoning in preference-based multiple-source rough set model
• Display calculi for logics with relative accessibility relations
• Dynamic maintenance of rough approximations in multi-source hybrid information systems
• Wanted dead or alive: epistemic logic for impure simplicial complexes
• Modal systems for covering semantics and boundary operator
• Logic For Reasoning About Knowledge
• scientific article; zbMATH DE number 4039863 (Why is no real title available?)
• 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
• Reasoning about attribute-relative approximations in multi-source environments: a modal framework with axiomatization
• A formal study of a rough set model integrating relational and neighbourhood system approaches
• A semantics of the basic modal language based on a generalized rough set model
• Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements

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)