Bilattices and Modal Operators

DOI10.1093/LOGCOM/1.1.41MaRDI QIDQ3971113zbMATH OpenOpenAlexFDO

Authors M. L. Ginsberg

Publication date 25 June 1992

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/42d77664074137557cd2a1af07362fdf5062646f

zbMATH Keywords

autoepistemic logicbilatticeknowledge ordermodal logicmodal operatorpossible worldsstratified logic programsStratified truth assignmentstruth-value order

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Logical aspects of lattices and related structures (03G10) Logic programming (68N17)

Recommendations

• Bilattices and the theory of truth
• A note on the structure of bilattices
• Expanding Belnap: dualities for a new class of default bilattices
• Kripke semantics for modal bilattice logic
• Modal bilattice logic and its extensions

Cited in

(19)

• Bialgebraic methods and modal logic in structural operational semantics
• How true it is = who says it's true
• Multi-valued autoepistemic logic
• Approximate planning
• Modality and interrupts
• Identity and aboutness
• Natural dualities through product representations: bilattices and beyond
• An introduction to bipolar representations of information and preference
• ON TRUTH, UNCERTAINTY, EQUILIBRIUM AND HARMONY — A TAXONOMY FOR YINYANG SCIENTIFIC COMPUTING
• Modal Operators over Constructive Logic
• Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• A probabilistic logic programming event calculus
• On the Semilattice of Modal Operators and Decompositions of the Discriminator
• The strict/tolerant idea and bilattices
• Bilattices and reasoning in artificial intelligence: Concepts and foundations
• Representations of uncertainty in artificial intelligence: probability and possibility
• YinYang bipolar logic and bipolar fuzzy logic
• A family of strict/tolerant logics

This page was built for publication: Bilattices and Modal Operators

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