We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
A Lindström-style theorem for finitary propositional weak entailment languages with absurdity.
- Authors
BADIA, GUILLERMO
- Abstract
Following a result by De Rijke for modal logic, it is shown that the basic weak entailment model-theoretic language with absurdity is the maximal model-theoretic language having (i) the finite occurrence property, (ii) preservation under relevant directed bisimulations and (iii) the finite depth property. This can be seen as a generalized preservation theorem characterizing propositional weak entailment formulas among formulas of other model-theoretic languages.
- Subjects
MODAL logic; NONCLASSICAL mathematical logic; BISIMULATION; COINDUCTION (Mathematics); MATHEMATICS theorems
- Publication
Logic Journal of the IGPL, 2016, Vol 24, Issue 2, p115
- ISSN
1367-0751
- Publication type
Article
- DOI
10.1093/jigpal/jzv054