Many-valued hybrid logic

DOI10.1093/logcom/exv040zbMath1444.03056OpenAlexW2112402907WikidataQ57813426 ScholiaQ57813426MaRDI QIDQ4612428

Thomas Bolander, Torben Braüner, Jens Ulrik Hansen

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

modal logichybrid logicmany-valued 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)

Related Items (2)

Relation-changing models meet paraconsistency ⋮ Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic

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