Undecidability And Non Axiomatizability Of Modal Many Valued Logics
Work
Year: 2022
Type: article
Abstract: In this work we study the decidability of a class of global modal logics arising from Kripke frames evaluated over certain residuated lattices, known in the literature as modal many-valued logics. We... more
Source: Journal of Symbolic Logic
Author Amanda Vidal
Institution Artificial Intelligence Research Institute
Cites: 29
Cited by: 4
Related to: 10
FWCI: 0.723
Citation percentile (by year/subfield): 80.94
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
APC paid (est): $2,586