A dynamic semantics of modal subordination
JSAI'05 Proceedings of the 2005 international conference on New Frontiers in Artificial Intelligence（2006）
摘要
This paper will propose a dynamic semantics of quantified modal logic based on the theory of System Transition Systems, which are abstract objects modeling “Kripke models of Kripke models” or graph rewriting systems, by exlpoiting the theory of coalgebras in order to treat modal subordination as a Kripke model change, which requires no ad-hoc informal treatment such as accomodation as in [1] or extra-ontology introduced in [2] [3].
更多查看译文
关键词
dynamic semantics,ad-hoc informal treatment,kripke model,system transition,modal logic,modal subordination,abstract object,kripke model change,graph rewriting,object model
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要