Decision analysis; Uncertain reasoning; Dempster-Shafer theory; Multi-agent systems; Modal logic;
机译:(基于星号的)三值Kripke式语义的伪和弱布尔逻辑
机译:基于Lukasiewicz代数的逻辑的Kripke风格和关系语义
机译:中间谓词逻辑的语义不完整,I。Kripke的语义
机译:基于Kripke语义的决策分析
机译:克里普克的怀疑悖论和语义规范性(Saul Kripke)。
机译:作为逐步过程的直观决策:使用fMRI研究基于语义直觉和基于启动的决策
机译:Kripke捆语义在中间谓词逻辑中的应用(非经典逻辑的新方面及其Kripke语义)