命题似真逻辑的关系语义
逻辑
2016-03-25 v1
摘要
本文旨在为一种模态逻辑即命题似真逻辑提供邻域语义。作为一种次正规模态逻辑，它不接受克里普克语义。然而，作者表明，这种邻域语义实现了命题似真逻辑的关系语义。
引用
@article{arxiv.1603.07606,
title = {Sem\^antica relacional para a l\'ogica proposicional do plaus\'ivel},
author = {Tiago Augusto dos Santos Boza and Hércules de Araujo Feitosa},
journal= {arXiv preprint arXiv:1603.07606},
year = {2016}
}
备注
in Portuguese