Decidability of logic of correlated knowledge

MaRDI QIDQ4639651zbMATH OpenFDO

Authors Haroldas Giedra, Jūratė Sakalauskaitė, Romas Alonderis

Publication date 11 May 2018

Full work available at URL https://content.iospress.com/articles/informatica/inf1040

zbMATH Keywords

decidabilitydecision procedurelogic of correlated knowledgeproof systemsequent calculus

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• A sequent calculus for logic of knowledge and past time: completeness and decidability
• A logic with relative knowledge operators
• Termination of derivations in a fragment of transitive distributed knowledge logic
• Some simulation results as to weakly correlated processes
• scientific article; zbMATH DE number 2015273

Cited in

(4)

• Termination of derivations in a fragment of transitive distributed knowledge logic
• scientific article; zbMATH DE number 1859179 (Why is no real title available?)
• Applications of logic of correlated knowledge to quantum mechanics
• AI 2003: Advances in Artificial Intelligence

This page was built for publication: Decidability of logic of correlated knowledge

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