Polynomial ring calculus for modal logics: A new semantics and proof method for modalities: Polynomial ring calculus for modal logics

Review of Symbolic Logic 4 (1):150-170 (2011)
Download Edit this record How to cite View on PhilPapers
A new proof style adequate for modal logics is defined from the polynomial ring calculus. The new semantics not only expresses truth conditions of modal formulas by means of polynomials, but also permits to perform deductions through polynomial handling. This paper also investigates relationships among the PRC here defined, the algebraic semantics for modal logics, equational logics, the Dijkstra???Scholten equational-proof style, and rewriting systems. The method proposed is throughly exemplified for S 5, and can be easily extended to other modal logics.
Reprint years
PhilPapers/Archive ID
Upload history
Archival date: 2016-02-29
View other versions
Added to PP index

Total views
301 ( #26,775 of 72,544 )

Recent downloads (6 months)
68 ( #11,060 of 72,544 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.