Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
1997 ◽
Vol 41
(2)
◽
pp. 171-188
◽
2001 ◽
Vol 27
(8)
◽
pp. 505-512
◽
Keyword(s):