Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem

DOI10.1007/978-3-662-44145-9_9zbMath1429.03079OpenAlexW2143931611MaRDI QIDQ2938135

Carles Noguera, Petr Cintula

Publication date: 13 January 2015

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44145-9_9

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (10)

Constraint tableaux for two-dimensional fuzzy logics ⋮ Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty ⋮ Logics with lower and upper probability operators ⋮ An elementary belief function logic ⋮ An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic ⋮ On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events ⋮ A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information ⋮ Fuzzy sets and formal logics ⋮ The two-sorted algebraic theory of states, and the universal states of MV-algebras ⋮ Paraconsistent Gödel modal logic

This page was built for publication: Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem