A proof-theoretic approach to knowledge

  title={A proof-theoretic approach to knowledge},
  author={Mariko Yasugi},
We speculate on logical aspects of the so-called three wise men puzzle with proof-theoretic methods. We propose and study the following. (1) Logical ability of each player of a puzzle is equivalent to a logical system KL, which is based on classical propositional calculus augmented with inferences of knowledge operators. (2) Enriched pieces of knowledge of players are obtained as results of meta-theorems of KL. (3) Solvability of a puzzle is guaranteed by automated theorem proving. All this is… CONTINUE READING

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-5 of 5 extracted citations

A Proof-Theoretic Approach to Tactics

MKM • 2006
View 4 Excerpts
Highly Influenced

Mathematical Knowledge Archives in Theorema

Camelia. Rosenkranz, Bruno. Buchberger, Tudor. Jebelean, Johannes Kepler University, Schloss Hagenberg


Publications referenced by this paper.
Showing 1-4 of 4 references

The application of cellular automata to network externalities in consumer's theory: a generalisation of life game

S. H. Oda, K. Miura, K. Ueda
Arti cial Life Five, edited by C.G Langton & K. Shimohara, pp.434-441, MIT Press • 1997

A Study of Kripke-type Models for Some Modal Logics by Gentzen's Sequential Method

M. Sato
Publications of RIMS,vol.13 • 1977

Investigations into logical deduction

G. Gentzen
(English translation), in The Collected Papers of Gerhard Gentzen, North-Holland • 1969

Similar Papers

Loading similar papers…