Back to Search
Start Over
Loop-free calculus for modal logic S4. II
- Source :
- Lithuanian Mathematical Journal. 52:123-133
- Publication Year :
- 2012
- Publisher :
- Springer Science and Business Media LLC, 2012.
-
Abstract
- In the article, loop-free calculus for modal logic S4 is presented. To restrict applications of reflexivity and transitivity rules, several types of indexes are used. The use of indexes replaces the need to keep the history of previous applications of the rules. The article details the purpose of each type of index and proves that derivation search in the calculus is finite.
Details
- ISSN :
- 15738825 and 03631672
- Volume :
- 52
- Database :
- OpenAIRE
- Journal :
- Lithuanian Mathematical Journal
- Accession number :
- edsair.doi...........eab88122c9bfd30956d94fb213a99683