Diaconescu, Denisa and Metcalfe, George and Schnüriger, Laura - A Real-Valued Modal Logic

lmcs:3706 - Logical Methods in Computer Science, January 23, 2018, Volume 14, Issue 1
A Real-Valued Modal Logic

Authors: Diaconescu, Denisa and Metcalfe, George and Schnüriger, Laura

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.


Source : oai:arXiv.org:1706.02854
DOI : 10.23638/LMCS-14(1:10)2018
Volume: Volume 14, Issue 1
Published on: January 23, 2018
Submitted on: June 12, 2017
Keywords: Computer Science - Logic in Computer Science


Share

Consultation statistics

This page has been seen 267 times.
This article's PDF has been downloaded 137 times.