Characterization of Maximal Consistent Theories in Modal Logic S5
LI Bi-jing
Acta Electronica Sinica ›› 2014, Vol. 42 ›› Issue (8) : 1551-1555.
Characterization of Maximal Consistent Theories in Modal Logic S5
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 | 〉 |