Results 21 to 30 of about 2,834 (69)
Changing a semantics: opportunism or courage?
, 2014 The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic.
A. Chagrov +84 more
core +1 more source
On the Logic of Belief and Propositional Quantification [PDF]
, 2020 We consider extending the modal logic KD45, commonly taken as the baseline system for belief, with propositional quantifiers that can be used to formalize natural language sentences such as “everything I believe is true” or “there is some-thing that I ...
Ding, Yifeng
core
Combining decision procedures for the reals
, 2006 We address the general problem of determining the validity of boolean combinations of equalities and inequalities between real-valued expressions.
Avigad, Jeremy, Friedman, Harvey
core +3 more sources
Spectra of Monadic Second-Order Formulas with One Unary Function
, 2003 We establish the eventual periodicity of the spectrum of any monadic second-order formula where: (i) all relation symbols, except equality, are unary, and (ii) there is only one function symbol and that symbol is ...
Gurevich, Yuri, Shelah, Saharon
core +5 more sources
Deciding First-Order Satisfiability when Universal and Existential Variables are Separated
, 2016 We introduce a new decidable fragment of first-order logic with equality, which strictly generalizes two already well-known ones -- the Bernays-Sch\"onfinkel-Ramsey (BSR) Fragment and the Monadic Fragment.
Sturm, Thomas +2 more
core +3 more sources
Satisfiability of CTL* with constraints
, 2013 We show that satisfiability for CTL* with equality-, order-, and modulo-constraints over Z is decidable. Previously, decidability was only known for certain fragments of CTL*, e.g., the existential and positive fragments and EF.Comment: To appear at ...
B. Courcelle +8 more
core +1 more source
Reply to Rosanna Keefe’s ‘Modelling higher-order vagueness: columns, borderlines and boundaries’ [PDF]
, 2016 This paper is an expanded written version of my reply to Rosanna Keefe’s paper ‘Modelling higher-order vagueness: columns, borderlines and boundaries’ (Keefe 2015), which in turn is a reply to my paper ‘Columnar higher-order vagueness, or Vagueness is ...
Bobzien, Susanne
core
The Limits of Horn Logic Programs
, 2002 Given a sequence $\{\Pi_n\}$ of Horn logic programs, the limit $\Pi$ of $\{\Pi_n\}$ is the set of the clauses such that every clause in $\Pi$ belongs to almost every $\Pi_n$ and every clause in infinitely many $\Pi_n$'s belongs to $\Pi$ also.
Ma, Shilong, Sui, Yuefei, Xu, Ke
core +2 more sources
A review of data abstraction. [PDF]
Front Artif Intell, 2023 Cima G, Console M, Lenzerini M, Poggi A.
europepmc +1 more source
On Generalizing Decidable Standard Prefix Classes of First-Order Logic
, 2017 Recently, the separated fragment (SF) of first-order logic has been introduced. Its defining principle is that universally and existentially quantified variables may not occur together in atoms.
Voigt, Marco
core