A quantitative method for multi-valued modal logics

DOI10.3724/SP.J.1001.2012.04212zbMATH Open1289.03008MaRDI QIDQ2858428FDOQ2858428

Authors: Huixian Shi, Guojun Wang 

Publication date: 19 November 2013

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

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

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)

Cited In (8)

• Title not available (Why is that?)
• Quantitative logic: a quantitative approach to many-valued logics
• Title not available (Why is that?)
• Modalities in vector logic
• A Modal Logic for Multiple-Source Tolerance Approximation Spaces
• Title not available (Why is that?)
• 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)