Adapting Logics

21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) Pub Date : 2006-08-12 DOI:10.1109/LICS.2006.9

A. Blass

引用次数: 0

Abstract

In this paper the author plans to survey some of the adaptations and variations of logic that have been introduced for various purposes. For obvious reasons, we concentrate mainly on purposes related to computer science and on adaptations that have played a role in the research. Along the way, the author discusses some open problems

查看原文本刊更多论文

调整逻辑

在本文中，作者计划调查一些适应和变化的逻辑已经引入了各种目的。出于显而易见的原因，我们主要关注与计算机科学相关的目的以及在研究中发挥作用的适应性。在此过程中，作者讨论了一些悬而未决的问题

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊