Abstract
This is a largely expository paper in which the following simple idea is pursued. Take the truth value of a formula to be the set of agents that accept the formula as true. This means we work with an arbitrary (finite) Boolean algebra as the truth value space. When this is properly formalized, complete modal tableau systems exist, and there are natural versions of bisimulations that behave well from an algebraic point of view. There remain significant problems concerning the proper formalization, in this context, of natural language statements, particularly those involving negative knowledge and common knowledge. A case study is presented which brings these problems to the fore. None of the basic material presented here is new to this paper—all has appeared in several papers over many years, by the present author and by others. Much of the development in the literature is more general than here—we have confined things to the Boolean case for simplicity and clarity. Most proofs are omitted, but several of the examples are new. The main virtue of the present paper is its coherent presentation of a systematic point of view—identify the truth value of a formula with the set of those who say the formula is true.
Similar content being viewed by others
References
Belnap, Jr., N. D., ‘A useful four-valued logic’, in J. M. Dunn and G. Epstein (eds.), Modern Uses of Multiple-Valued Logic, D. Reidel, 1977.
Blackburn P., de Rijke M., Venema Y.: Modal Logic, Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, UK (2001)
Eleftheriou, P. E., C. D. Koutras, and C. Nomikos, ‘Notions of bisimulation for Heyting-valued modal languages’, in A. Beekman, C. Dimitracopulos, and B. Loewe (eds.), Logic and Theory of Algorithms, Proceedings of Computability in Europe 2008, Athens University Press, 2008, pp. 117–126.
Fitting M.C.: ‘Many-valued modal logics’. Fundamenta Informaticae 15, 235–254 (1991)
Fitting M.C.: ‘Many-valued modal logics, II’. Fundamenta Informaticae 17, 55–73 (1992)
Fitting, M.C., ‘Many-valued non-monotonic modal logics’, in A. Nerode and M. Taitslin (eds.), Logical Foundations of Computer Science—Tver ‘92, Springer Lecture Notes in Computer Science, 620, 1992, pp. 139–150.
Fitting M.C.: ‘Tableaus for many-valued modal logic’. Studia Logica 55, 63–87 (1995)
Fitting, M.C., First-Order Logic and Automated Theorem Proving, Springer-Verlag, 1996, First edition, 1990. Errata at http://comet.lehman.cuny.edu/fitting/errata/errata.html.
Fitting, M. C., ‘Bisimulations and Boolean vectors’, in P. Balbiani, N.-Y. Suzuki, and M. Zakharyaschev (eds.), Advances in Modal Logic, volume 4, King’s College Publications, 2003, pp. 97–125.
Fitting, M.C., ‘Bilattices are nice things’, in T. Bolander, V. Hendricks, and S. A. Pedersen (eds.), Self-Reference, Center for the Study of Language and Information, 2006, chapter 3, pp. 53–77.
Fitting, M. C., ‘Modal proof theory’, in P. Blackburn, J. van Benthem, and F.Wolter (eds.), Handbook of Modal Logic, chapter 2, pp. 85–138, Elsevier, 2007.
Ginsberg, M. L., ‘Bilattices and modal operators’, in Proceedings of the Third Conference on Theoretical Aspects of Reasoning about Knowledge, San Francisco, CA, TARK, Morgan Kaufmann, 1990, pp. 273–287.
Ginsberg M.L.: ‘Bilattices and modal operators’. Journal of Logic and Computation 1(1), 41–69 (1990)
Koutras C.D.: ‘A catalog of weak many-valued modal axioms and their corresponding frame classes’. Journal of Applied Non-Classical Logics 13(1), 47–73 (2003)
Koutras C.D., Koletsos G., Zachos S: ‘Many-valued modal non-monotonic reasoning: sequential stable sets and logics with linear truth spaces’. Fundamenta Informaticae 38(3), 281–324 (1999)
Koutras C.D., Nomikos C., Peppas P.: ‘Canonicity and completeness results for many-valued modal logics’. Journal of Applied Non-Classical Logics 12(1), 7–42 (2002)
Koutras C.D., Peppas P.: ‘Weaker axioms, more ranges’. Fundamenta Informaticae 51(3), 297–310 (2002)
Koutras C.D., Zachos S.: ‘Many-valued reflexive autoepistemic logic’. Logic Journal of IGPL 8(1), 33–54 (2000)
Monk, J.D., R., Bonnet (eds.), Handbook of Boolean Algebras, North-Holland, 1989, (Three volumes).
Sim, K. M., ‘Beliefs and bilattices’, in Methodologies for Intelligent Systems, Lecture Notes in Computer Science, volume 869, Springer, Berlin/Heidelberg, 1994, pp. 594– 603.
Smullyan, R. M., First-Order Logic, Springer-Verlag, Berlin, 1968, Revised Edition, Dover Press, New York, 1994.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Fitting, M. How True It Is = Who Says It’s True. Stud Logica 91, 335–366 (2009). https://doi.org/10.1007/s11225-009-9178-1
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-009-9178-1