Pages that link to "Item:Q5435114"

The following pages link to An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK (Q5435114):

Displaying 10 items.

• An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation (Q2436101) (← links)
• 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106) (← links)
• First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment (Q3100161) (← links)
• Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents (Q3656763) (← links)
• (Q4636027) (← links)
• (Q4966494) (← links)
• On Linear Logic of Knowledge and Time (Q5214743) (← links)
• (Q5711863) (← links)
• Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK (Q5852970) (← links)
• Linear temporal justification logics with past and future time modalities (Q5877705) (← links)