Sign in
Many-Valued Modal Non-Monotonic Reasoning: Sequential Stable Sets and Logics with Linear Truth Spaces.
Costas D. Koutras
George Koletsos
Stathis Zachos
Published in:
Fundam. Informaticae (1999)
Keyphrases
</>
truth values
modal logic
inference rules
autoepistemic logic
temporal logic
multi valued
nonmonotonic logics
conditional logic
fixpoint
epistemic logic
valued logic
classical logic
hilbert space
possibilistic logic
expressive power
convex sets
dynamic logic
topological spaces