Many-valued hybrid logic

DOI10.1093/LOGCOM/EXV040MaRDI QIDQ4612428zbMATH OpenOpenAlexWikidataFDO

Authors Jens Ulrik Hansen, Thomas Bolander, Torben Braüner

Publication date 31 January 2019

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://orbit.dtu.dk/en/publications/bca5e912-39c1-48ec-990e-91fe0aac0127

zbMATH Keywords

many-valued logicmodal logichybrid logictableau systemsintuitionistic hybrid logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Many-valued hybrid logic
• scientific article; zbMATH DE number 35414
• Combining many-valued and intuitionistic tableaux
• scientific article; zbMATH DE number 1341482
• scientific article; zbMATH DE number 1189102

Cited in

(6)

• Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic
• Relation-changing models meet paraconsistency
• scientific article; zbMATH DE number 1028817 (Why is no real title available?)
• Many-valued hybrid logic
• Multivalued logic to transform potential into actual objects
• Noise-based logic: binary, multi-valued, or fuzzy, with optional superposition of logic states

This page was built for publication: Many-valued hybrid logic

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