6533b856fe1ef96bd12b3215
RESEARCH PRODUCT
Two-variable logics with counting and semantic constraints
Emanuel KieronskiIan Pratt-hartmannLidia Tenderasubject
Microbiology (medical)Theoretical computer scienceComputer science010102 general mathematicsImmunology0102 computer and information sciences01 natural sciencesSatisfiabilityFinite satisfiabilityDecidabilityVariable (computer science)010201 computation theory & mathematicsImmunology and Allergy0101 mathematicsdescription
In this article we discuss fragments and extensions of two-variable logics motivated by practical applications. We outline the decidability frontier, describing some of the techniques developed for deciding satisfiability and finite satisfiability, as well as characterizing their complexity.
| year | journal | country | edition | language |
|---|---|---|---|---|
| 2018-07-26 | ACM SIGLOG News |