Back to Search
Start Over
A REAL-VALUED MODAL LOGIC.
- Source :
- Logical Methods in Computer Science (LMCS); Jan2018, Vol. 14 Issue 1, p1-27, 27p
- Publication Year :
- 2018
-
Abstract
- A many-valued modal logic is introduced that combines the usual Kripke frame semantics of the modal logic K with connectives interpreted locally at worlds by lattice and group operations over the real numbers. A labelled tableau system is provided and a coNEXPTIME upper bound obtained for checking validity in the logic. Focussing on the modal-multiplicative fragment, the labelled tableau system is then used to establish completeness for a sequent calculus that admits cut-elimination and an axiom system that extends the multiplicative fragment of Abelian logic. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 18605974
- Volume :
- 14
- Issue :
- 1
- Database :
- Complementary Index
- Journal :
- Logical Methods in Computer Science (LMCS)
- Publication Type :
- Academic Journal
- Accession number :
- 127582438
- Full Text :
- https://doi.org/10.23638/LMCS-14(1:10)2018