The interpretability logic ILF

机译：可解释性逻辑ILF

页面导航

摘要
著录项
相似文献
相关主题

摘要

In this paper we determine a characteristic class of IL_{set} frames for the principle F. Then we prove that the principle P is not provable in the system ILF. We use a generalized Veltman model.

机译：在本文中，我们为原理F确定了IL_ {set}帧的特征类。然后，我们证明了原理I在系统ILF中是不可证明的。我们使用广义的Veltman模型。

著录项

作者
Vuković M.;
展开▼
作者单位

展开▼
年度 1998
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. The interpretability logic ILF [J] . Vukovi? M. Mathematical communications . 1998,第2期

机译：可解释性逻辑ILF
2. A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic [J] . Vedran Čačić, Domagoj Vrgoč Studia Logica . 2013,第1期

机译：可证明逻辑和可解释逻辑中的双仿真和模态等价的注记
3. A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic [J] . ?a?i? V., Vrgo? D. Studia Logica . 2013,第1期

机译：关于可证明逻辑和可解释逻辑中的双仿真和模态对等的注记
4. Modal logic; Epistemic logic; Dynamic epistemic logic; Interpreted systems; Knowledge and change [C] . Valentin Goranko, Wojciech Jamroga International Conference on Autonomous Agents and Multiagent Systems . 2012

机译：模态逻辑;认知逻辑;动态认知逻辑;解释系统;知识和变革
5. TRUTH AND NECESSITY IN PARTIALLY INTERPRETED LANGUAGES (LOGIC). [D] . MCGEE, VANN ROGER. 1985

机译：部分解释语言的真实性和必要性（逻辑）。
6. Medical recommender systems based on continuous-valued logic and multi-criteria decision operators using interpretable neural networks [O] . Juan G. Diaz Ochoa, Orsolya Csiszár, Thomas Schimper 2021

机译：基于连续值逻辑和多标准决策操作员的医疗推荐系统使用可解释的神经网络
7. Possibilistic Logic as Interpretability Logic [O] . Hájek, Petr 1995

机译：可能性逻辑作为可解释性逻辑
8. Interpreting Logics of Knowledge in Propositional Dynamic Logic with Converse [R] . Fischer, M. J., Immerman, N. 1986

机译：用逆向解释命题动态逻辑中的知识逻辑

The interpretability logic ILF

摘要

著录项

相似文献

相关主题

期刊订阅