Canonicity and Completeness Results for Many-Valued Modal Logics

References

• BALBES , R. and DWINGER , P. 1974 . Distributive Lattices , University of Missouri Press .
   Google Scholar
• VAN BENTHEM , J. 1984 . Correspondence Theory 167 – 247 . Vol. 2 of Gabbay, Guenthner [GAB 84]
   Google Scholar
• BLACKBURN , P. , DE RIJKE , M. and VENEMA , Y. 2001 . “ Modal Logic ” . In Num. 53 Cambridge Tracts in Theoretical Computer Science , Cambridge University Press .
   Google Scholar
• BURRIS , S. and SANKAPPANAVAR , H. 1981 . “ A Course in Universal Algebra ” . In Num. 78 Graduate Texts in Mathematics , New York : Springer Verlag .
   Google Scholar
• CHAGROV , A. and ZAKHARYASHEV , M. 1997 . Modal Logic, vol. 35 of Oxford Logic Guides , Oxford University Press .
   Google Scholar
• CHELLAS , B. F. 1980 . Modal Logic, an Introduction , Cambridge University Press .
   Google Scholar
• DAVEY , B. A. and PRIESTLEY , H. A. 1990 . Introduction to Lattices and Order , Cambridge University Press .
   Google Scholar
• FARIÑAS DEL CERRO , L. and HERZIG , A. Linear Modal Deductions . Proceedings CADE'88 - International Conference on Automated Deduction . Edited by: LUSK , E. and OVERBEEK , R. Springer Verlag .
   Google Scholar
• FITTING , M. C. 1991 . Many-valued modal logics . Fundamenta Informaticae , 15 : 235 – 254 .
   Google Scholar
• FITTING , M. C. 1992 . Many-valued modal logics II . Fundamenta Informaticae , 17 : 55 – 73 .
   Google Scholar
• FITTING , M. C. 1992 . “ Many-valued non-monotonic modal logics ” . In Logical Foundations of Computer Science - Tver'92, vol. 620 of Lecture Notes in Computer Science , Edited by: NERODE , A. and TAITSLIN , M. 139 – 150 . Springer-Verlag .
   Google Scholar
• FITTING , M. C. 1995 . Tableaus for Many-valued modal logic . Studia Logica , 55 : 63 – 87 .
   Google Scholar
• FITTING , M. and MENDELSOHN , R. L. 1998 . First-Order Modal Logic, vol. 277 of Synthése Library , Kluwer Academic Publishers .
   Google Scholar
• GABBAY , D. M. and GUENTHNER , F. , eds. 1984 . Handbook of Philosophical Logic , Dordrecht : D. Reidel .
   Google Scholar
• GOLDBLATT , R. 1992 . “ Logics of Time and Computation ” . In Num. 7 CSLI Lecture Notes , 2nd edition , Center for the Study of Language and Information, Stanford University, 2nd edition
   Google Scholar
• GOLDBLATT , R. November 2001 . “ Mathematical Modal Logic: a View of its Evolution ” . In A History of Mathematical Logic Edited by: van Dalen , D. , Dawson , J. and Kanamori , A. November , http : //www:mcs:vuw:ac:nz/~rob
   Google Scholar
• JOHNSTONE , P. J. 1982 . Stone Spaces, vol. 3 of Cambridge Studies in Advanced Mathematics , Cambridge University Press .
   Google Scholar
• KOUTRAS , C. D. , KOLETSOS , G. and ZACHOS , S. 1999 . Many-valued modal nonmonotonic reasoning: sequential stable sets and logics with linear truth spaces . Fundamenta Informaticae , 38 ( 3 ) : 281 – 324 .
   Google Scholar
• KOUTRAS , C. D. and ZACHOS , S. 2000 . Many-valued reflexive autoepistemic logic . Logic Journal of the IGPL , 8 ( 1 ) : 33 – 54 .
   Google Scholar
• KOUTRAS , C. D. , NOMIKOS , C. and PEPPAS , P. 2002 . If I know it, then it can't be false and if it's true, it is relatively possible Forthcoming
   Google Scholar
• KRACHT , M. 1999 . Tools and Techniques in Modal Logic, vol. 142 of Studies in Logic and the Foundations of Mathematics , Amsterdam : Elsevier .
   Google Scholar
• LEMMON , E. J. and SCOTT , D. S. 1977 . An Introduction to Modal Logic , Num. 11 American Philosophical Quarterly Monograph Series Oxford : Blackwell .
   Google Scholar
• OHLBACH , H. J. and SCHMIDT , R. A. 1997 . Functional Translation and second-order frame properties of modal logics . Journal of Logic and Computation , 7 ( 5 ) : 581 – 603 .
   Web of Science ®Google Scholar
• RASIOWA , H. and SIKORSKI , R. 1970 . The Mathematics of Metamathematics , third edition , Warsaw : PWN - Polish Scientific Publishers .
   Google Scholar
• SEGERBERG , K. 1971 . An essay in Clasical Modal Logic , Uppsala : Filosofiska Studies .
   Google Scholar
• WOLTER , F. and ZAKHARYASCHEV , M. Intuitionistic modal logic . Proceedings of the 10th International Congress of Logic, Methodology and Philosophy of Science . Edited by: MINARI , P. Kluwer Academic Publishers .
   Google Scholar