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

DOI10.1093/jigpal/jzk002zbMath1102.03009OpenAlexW2048132387MaRDI QIDQ5479022

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

decidabilitytense logicadmissible rulesKripke framesepistemic logiclinear timeinference rulesmulti-modal logiceffective finite model property

Mathematics Subject Classification ID

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

Related Items (5)

Unnamed Item ⋮ An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation ⋮ 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07 ⋮ Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation ⋮ On Linear Logic of Knowledge and Time

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