Set-theoretic completeness for epistemic and conditional logic
DOI10.1023/A:1018942425200zbMath0942.03019MaRDI QIDQ1978015
Publication date: 7 June 2000
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1018942425200
nonmonotonic reasoning; expressive power; epistemic logic; conditional logic; Kripke frame; selection functions; set-theoretic semantics; foundations of mathematical economics; set-theoretic completeness results
91B02: Fundamental topics (basic mathematics, methodology; applicable to economics in general)
03B45: Modal logic (including the logic of norms)
03B60: Other nonclassical logic
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
Related Items