A quantitative method for multi-valued modal logics

DOI10.3724/SP.J.1001.2012.04212MaRDI QIDQ2858428zbMATH OpenFDO

Authors Huixian Shi, Guojun Wang

Publication date 19 November 2013

Published in Journal of Software (Search for Journal in Brave)

zbMATH Keywords

temporal logicglobal truth degreelocalized truth degreemulti-valued modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Logic in artificial intelligence (68T27) Temporal logic (03B44)

Recommendations

• Quantitative logic: a quantitative approach to many-valued logics
• Many-valued multi-modal logics, satisfiability problem
• scientific article; zbMATH DE number 35414
• Exploring a syntactic notion of modal many-valued logics

Cited in

(8)

• scientific article; zbMATH DE number 6099698 (Why is no real title available?)
• Quantitative logic: a quantitative approach to many-valued logics
• scientific article; zbMATH DE number 1775492 (Why is no real title available?)
• Modalities in vector logic
• A Modal Logic for Multiple-Source Tolerance Approximation Spaces
• scientific article; zbMATH DE number 7713503 (Why is no real title available?)
• Exploring a syntactic notion of modal many-valued logics
• Modelling inexact utility theory in a multi-valued logic of approximation

This page was built for publication: A quantitative method for multi-valued modal logics

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