Knowledge on Treelike Spaces

Details Knowledge on Treelike Spaces Knowledge on Treelike Spaces

2000-07-21

arxiv.org/abs/cs/0007032v1

Studia Logica, 1(59), 1997

Computer Science

Logic in Computer Science

31 pages

Scientific paper

This paper presents a bimodal logic for reasoning about knowledge during knowledge acquisition. One of the modalities represents (effort during) non-deterministic time and the other represents knowledge. The semantics of this logic are tree-like spaces which are a generalization of semantics used for modeling branching time and historical necessity. A finite system of axiom schemes is shown to be canonically complete for the formentioned spaces. A characterization of the satisfaction relation implies the small model property and decidability for this system.

Affiliated with

Also associated with

No associations

Rating

Knowledge on Treelike Spaces does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Knowledge on Treelike Spaces, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Knowledge on Treelike Spaces will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-349526