Combining time and knowledge, semantic approach

MaRDI QIDQ3435231zbMATH OpenFDO

Authors Erica Calardo, Vladimir Rybakov

Publication date 25 April 2007

Mathematics Subject Classification ID

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

Recommendations

• Decidability of multi-modal logic LTK of linear time and knowledge
• Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK
• An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK
• Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
• scientific article; zbMATH DE number 1107651

Cited in

(5)

• A functional approach for temporal \(\times\) modal logics
• An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
• Merging structured text using temporal knowledge
• Decidability of multi-modal logic LTK of linear time and knowledge
• On linear logic of knowledge and time

This page was built for publication: Combining time and knowledge, semantic approach

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