Merkliste 
 1 Ergebnisse 
 
1

A note on the complexity of S4.2:

Chalki, Aggeliki ; Koutras, Costas D. ; Zikos, Yorgos
Journal of Applied Non-Classical Logics.  31 (2021)  2 - p. 108-129 , 2021