The consistency of syntactical treatments of knowledge

Authors:
Jim des Rivières;Hector J. Levesque
Affiliations:
University of Toronto, Toronto, Canada;University of Toronto and The Canadian Institute for Advanced Research
Venue:
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Year:
1986

Citing 4
Cited 0

Foundations of a functional approach to knowledge representation.

Artificial Intelligence
Languages with self-reference I: foundations (or: we can have everything in first-order logic])

Artificial Intelligence
Steps towards a first-order logic of explicit and implicit belief

Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Language, computation, and reality

Language, computation, and reality

Quantified Score

Hi-index	0.00

Visualization

Abstract

The relative expressive power of a sentential operator α is compared to that of a syntactical predicate L('α') in the setting of first-order logics. Despite results by Montague and by Thomason that claim otherwise, any of the so-called "modal" logics of knowledge and belief can be translated into classical first-order logics that have a corresponding predicate on sentences.