Modal logics of uncertainty with two-layer syntax: a general completeness theorem

DOI10.1007/978-3-662-44145-9_9MaRDI QIDQ2938135zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Logics with generalized measure operators
• On modal logic interpretation of possibility theory
• scientific article; zbMATH DE number 1023168
• scientific article; zbMATH DE number 1304352
• On uncertainty and Kripke modalities in t-norm fuzzy logics

Cited in

(15)

• Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty
• 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
• Constraint tableaux for two-dimensional fuzzy logics
• On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events
• Logics with lower and upper probability operators
• Uncertainty reasoning of two models based on linguistic truth-valued lattice-valued first-order logic system \(L_{v(n\times 2)}F(X)\)
• HIERARCHICAL UNCERTAINTY METATHEORY BASED UPON MODAL LOGIC
• An elementary belief function logic
• An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic
• Reasoning with belief functions over Belnap-Dunn logic
• Many-valued coalgebraic modal logic: one-step completeness and finite model property
• Two-layered logics for probabilities and belief functions over Belnap-Dunn logic

This page was built for publication: Modal logics of uncertainty with two-layer syntax: a general completeness theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2938135)