Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK

DOI10.1093/JIGPAL/JZK002MaRDI QIDQ5479022zbMATH OpenOpenAlexFDO

Authors Erica Calardo

Publication date 6 July 2006

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzk002

zbMATH Keywords

admissible rulesdecidabilityeffective finite model propertyepistemic logicinference rulesKripke frameslinear timemulti-modal logictense logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Recommendations

• Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
• Linear temporal logic LTL: basis for admissible rules
• Decidability of multi-modal logic LTK of linear time and knowledge
• An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
• On the linear logic of knowledge and time with intransitive time relation

This page was built for publication: Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK

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