Many-valued hybrid logic

DOI10.1093/LOGCOM/EXV040zbMATH Open1444.03056OpenAlexW2112402907WikidataQ57813426 ScholiaQ57813426MaRDI QIDQ4612428FDOQ4612428

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

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

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)

Cited In (6)

• Multivalued logic to transform potential into actual objects
• Noise-based logic: binary, multi-valued, or fuzzy, with optional superposition of logic states
• Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic
• Many-valued hybrid logic
• Relation-changing models meet paraconsistency
• Title not available (Why is that?)

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)