𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On Confluent Semi-commutations: Decidability and Complexity Results

✍ Scribed by V. Diekert; E. Ochmanski; K. Reinhardt

Book ID
112252074
Publisher
Elsevier Science
Year
1994
Tongue
English
Weight
745 KB
Volume
110
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On the decidability and complexity of re
On the decidability and complexity of reasoning about only knowing
✍ Riccardo Rosati πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 205 KB

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