Multi-agent temporal nontransitive linear logics and the admissibility problem

2020 ◽  
Vol 59 (1) ◽  
pp. 123-141
Author(s):  
V. V. Rybakov
Keyword(s):  
2014 ◽  
Vol 134 (10) ◽  
pp. 1515-1523
Author(s):  
Akihiro Ogawa ◽  
Kazunari Maki ◽  
Kiyoshi Hata ◽  
Yasunori Takeuchi ◽  
Fumio Ishikawa

2013 ◽  
Vol 133 (9) ◽  
pp. 1652-1657 ◽  
Author(s):  
Takeshi Nagata ◽  
Kosuke Kato ◽  
Masahiro Utatani ◽  
Yuji Ueda ◽  
Kazuya Okamoto ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document