Saturation method for reflexive common knowledge logic
This paper discusses the use of saturation procedure in order to check looping sequents in reflexive common knowledge logic. Traditional approach states that common knowledge operator is defined by some induction-like axiom and requires the use of some looping sequents. The loopcheck-free saturation...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Vilnius University Press
2012-12-01
|
| Series: | Lietuvos Matematikos Rinkinys |
| Subjects: | |
| Online Access: | https://www.journals.vu.lt/LMR/article/view/14891 |