Bilattices and Modal Operators

DOI10.1093/logcom/1.1.41zbMath0743.03011OpenAlexW2109160451MaRDI QIDQ3971113

Matthew 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

modal logicpossible worldsautoepistemic logicbilatticemodal operatorstratified logic programsknowledge orderStratified 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)

Related Items (14)

A family of strict/tolerant logics ⋮ Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond ⋮ Natural dualities through product representations: bilattices and beyond ⋮ Modality and interrupts ⋮ Multi-valued autoepistemic logic ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ A probabilistic logic programming event calculus ⋮ An introduction to bipolar representations of information and preference ⋮ ON TRUTH, UNCERTAINTY, EQUILIBRIUM AND HARMONY — A TAXONOMY FOR YINYANG SCIENTIFIC COMPUTING ⋮ YinYang bipolar logic and bipolar fuzzy logic ⋮ How true it is = who says it's true ⋮ Identity and aboutness ⋮ Approximate planning ⋮ The Strict/Tolerant Idea and Bilattices

This page was built for publication: Bilattices and Modal Operators