scientific article; zbMATH DE number 7324991
From MaRDI portal
Publication date: 18 March 2021
Full work available at URL: http://mathnet.ru/eng/jsfu303
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Admissible inference rules in 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, On Linear Logic of Knowledge and Time
Cites Work
- Admissibility of logical inference rules
- Complete Axiomatizations for Reasoning about Knowledge and Time
- An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK
- Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item