On a Simple 3-valued Modal Language and a 3-valued Logic of 'not-fully-justified' Belief

DOI10.1093/JIGPAL/JZN024zbMath1169.03017OpenAlexW2004463039MaRDI QIDQ5504123

Christos Nomikos, Costas D. Koutras, Pavlos Peppas

Publication date: 21 January 2009

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzn024

zbMATH Keywords

possible worlds semanticsdominancethree-valued logiclogic of beliefepistemic agreement of agentsformal system with nonclassical negationGentzen-style formal system for modal logicNP-complete satisfability problem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Many-valued logic (03B50)

This page was built for publication: On a Simple 3-valued Modal Language and a 3-valued Logic of 'not-fully-justified' Belief