This paper discusses on a logic of information for reasoning about various persons’ knowledge or time-depending knowledge. The motivation comes from the problem of logical foundations of knowledge representation proposed by Z. Pawlak and E. Orlowska [6], and partially from Orlowska [8]. We consider monadic predicate symbols in this logic. We give its semantics and syntax. Further, we give a deductive system for the logic, and prove the soundness and completeness.

On the Undecidability of Monadic Modal Predicate Logic

Citations

On a Logic of Information for Reasoning About Knowledge

Related Papers (5)

Monadic Fuzzy Predicate Logics

Monadic Second Order Logic

Algebraic Semantics for Modal Predicate Logic

A Short Introduction to Modal Logic

Second-order propositional modal logic and monadic alternation hierarchies