We study reasoning in Levesque's logic of only knowing. In particular, we first prove that extending a decidable subset of first-order logic with the ability of reasoning about only knowing preserves decidability of reasoning, as long as quantifying-in is not allowed in the language, and define a ge
β¦ LIBER β¦
Representation and Reasoning about Evolutions of the World in the Context of Reasoning about Actions
β Scribed by Chitta Baral; Nam Tran
- Publisher
- Springer Netherlands
- Year
- 2005
- Tongue
- English
- Weight
- 291 KB
- Volume
- 79
- Category
- Article
- ISSN
- 0039-3215
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
On the decidability and complexity of re
β
Riccardo Rosati
π
Article
π
2000
π
Elsevier Science
π
English
β 205 KB
Defining the notion of βInformation Cont
β
Kaibo Xu; Junkang Feng; Malcolm Crowe
π
Article
π
2008
π
Springer-Verlag
π
English
β 767 KB
Using Argumentation for Absolute Reasoni
β
Philip N. Judson; Carol A. Marchant; Jonathan D. Vessey
π
Article
π
2003
π
John Wiley and Sons
β 50 KB
π 1 views
What does principled versus conventional
β
Nicholas Emler; Kerry Stace
π
Article
π
1999
π
John Wiley and Sons
π
English
β 146 KB
π 2 views
The well-documented relationship between political orientation and moral reasoning has most often been interpreted in terms of the inΒ―uence of level of moral development (cf. upon an individual's political inclinations: those who have reached the conventional level (or stage 4) in Kohlberg's terms
Alternative constructions of the reasona
β
Dougal MacDonald
π
Article
π
1994
π
Springer Netherlands
π
English
β 496 KB
Reason, faith, and authority: Some plato
β
Harold Tarrant
π
Article
π
2000
π
Springer Netherlands
π
English
β 795 KB