How true it is = who says it's true (Q1015490)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | How true it is = who says it's true |
scientific article |
Statements
How true it is = who says it's true (English)
0 references
8 May 2009
0 references
In this chiefly expository paper the author presents the idea of taking the truth value of a formula to be the set of agents who accept the formula as true. This leads to a truth value space as an arbitrary (finite) Boolean algebra. This is formalized and a complete tableau system provided for a modal logic with propositional constants. This way of looking at things has utility especially for knowledge representation for multiple agents. This is illustrated through discussion of the `muddy children problem'. Nevertheless, as the case study shows, open problems remain regarding the proper formalization of various natural language statements, such as express negative knowledge and common knowledge. The ideas presented here are developed more fully and technically in other works by the author, and others; cf. e.g. [\textit{M. Fitting}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 15, No.~3--4, 235--254 (1991; Zbl 0745.03018)], [\textit{M. Fitting}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 17, No.~1--2, 55--73 (1992; Zbl 0772.03006)], [\textit{M. Fitting}, Stud. Log. 55, No.~1, 63--87 (1995; Zbl 0837.03017)].
0 references
modal logic
0 references
many-valued logic
0 references
logic of knowledge
0 references
Boolean algebra
0 references
bisimulation
0 references
tableau
0 references
truth value
0 references