Tractable Meta-Reasoning in Propositional Logics of Belief

  title={Tractable Meta-Reasoning in Propositional Logics of Belief},
  author={Gerhard Lakemeyer},
Finding adequate semantic models of deductive reasoning is a difficult problem, if deductions are to be performed efficiently and in a semantically appropriate way. The model of reasoning provided by possible-worlds semantics has been found deficient both for computational and intuitive reasons. Existing semantic approaches that were proposed as alternatives to possible-worlds semantics either suffer from computational intractability or do not allow agents to have meta-beliefs. This work, based… CONTINUE READING

From This Paper

Topics from this paper.
21 Citations
3 References
Similar Papers


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

A Formal Treatment of Incomplete Knowledge Bases , Tech . Report No . 3 , Fairchild Lab

  • H. J. Levesque
  • 1982

A Guide to the Modal Logics of Knowledge and Belief

  • R. Fagin, J. Y. Halpern, Y. O. Moses
  • A Logic of Believing , Knowing and Inferring…
  • 1974

Similar Papers

Loading similar papers…