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)

Full work available at URL https://doi.org/10.3724/SP.J.1001.2012.04212

zbMATH Keywords

global truth degreelocalized truth degreemulti-valued modal logictemporal logic

Mathematics Subject Classification ID

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

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

(10)

• Modalities in vector logic
• A Modal Logic for Multiple-Source Tolerance Approximation Spaces
• Quantitative logic: a quantitative approach to many-valued logics
• scientific article; zbMATH DE number 6099698 (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
• scientific article; zbMATH DE number 1775492 (Why is no real title available?)
• scientific article; zbMATH DE number 7713503 (Why is no real title available?)
• Randomized truth degrees and inference models in multi-valued modal logics
• A novel similarity measure between classical propositions and its applications

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)