scholarly journals Two-variable logic has weak, but not strong, Beth definability

2021 ◽  
pp. 1-23
Author(s):  
H. Andréka ◽  
I. Németi
Keyword(s):  
Beth Definability ◽  
Variable Logic

scholarly journals An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic

2017 ◽  
Vol 18 (4) ◽  
pp. 1-22
Author(s):  
Andreas Krebs ◽  
Howard Straubing
Keyword(s):  
Variable Logic

scholarly journals INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY

2017 ◽  
Vol 10 (4) ◽  
pp. 663-681
Author(s):  
GUILLERMO BADIA
Keyword(s):  
Expressive Power ◽  
Interpolation Theorem ◽  
Boolean Logic ◽  
Isomorphism Theorem ◽  
Strong Completeness ◽  
Lack Of Compactness ◽  
Relevant Logics ◽  
Beth Definability ◽  
Beth Definability Property

AbstractAnalogues of Scott’s isomorphism theorem, Karp’s theorem as well as results on lack of compactness and strong completeness are established for infinitary propositional relevant logics. An “interpolation theorem” (of a particular sort introduced by Barwise and van Benthem) for the infinitary quantificational boolean logic L∞ω holds. This yields a preservation result characterizing the expressive power of infinitary relevant languages with absurdity using the model-theoretic relation of relevant directed bisimulation as well as a Beth definability property.

scholarly journals One-variable logic meets Presburger arithmetic

2020 ◽  
Vol 802 ◽  
pp. 141-146
Author(s):  
Bartosz Bednarczyk
Keyword(s):  
Presburger Arithmetic ◽  
Variable Logic

Beth definability, interpolation and language splitting

Synthese ◽  
2010 ◽  
Vol 179 (2) ◽  
pp. 211-221 ◽  
Author(s):  
Rohit Parikh
Keyword(s):  
Beth Definability
Sign in / Sign up

Export Citation Format

Share Document