منابع مشابه
On Logics with Two Variables
This paper is a survey and systematic presentation of decidability and complexity issues for modal and non-modal two-variable logics. A classical result due to Mortimer says that the two-variable fragment of rst-order logic, denoted FO 2 , has the nite model property and is therefore decidable for satissability. One of the reasons for the signiicance of this result is that many propositional mo...
متن کاملTwo theorems on experimental logics
A generalization of a formal system is considered, in which the axioms of the formal system can be withdrawn or supplemented, as mechanical experimentation proceeds through time and the consequences of various combinations of assumptions are realized. The "theorems" of these experimental logics are taken to be those assertions possessing a proof which remains valid for all "sufficiently large t...
متن کاملEQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملUndecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
We prove that the positive fragment of first-order intuitionistic logic in the language with two variables and a single monadic predicate letter, without constants and equality, is undecidable. This holds true regardless of whether we consider semantics with expanding or constant domains. We then generalise this result to intervals [QBL,QKC] and [QBL,QFL], where QKC is the logic of the weak law...
متن کاملUndecidability of first-order intuitionistic and modal logics with two variables
We prove that the two-variable fragment of first-order intuitionistic logic is undecidable, even without constants and equality. We also show that the twovariable fragment of a quantified modal logic L with expanding first-order domains is undecidable whenever there is a Kripke frame for L with a point having infinitely many successors (such are, in particular, the first-order extensions of pra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1999
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(98)00308-9