𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Soundness and completeness of Kung’s reasoning procedure

✍ Scribed by Renwei Li

Book ID
112947345
Publisher
Springer
Year
1988
Tongue
English
Weight
413 KB
Volume
3
Category
Article
ISSN
1000-9000

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Coalgebraic modal logic: soundness, comp
Coalgebraic modal logic: soundness, completeness and decidability of local consequence
✍ Dirk Pattinson 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 275 KB

This paper studies ÿnitary modal logics, interpreted over coalgebras for an endofunctor, and establishes soundness, completeness and decidability results. The logics are studied within the abstract framework of coalgebraic modal logic, which can be instantiated with arbitrary endofunctors on the cat