Abstract | ||
---|---|---|
In the style of Lindström’s theorem for classical first-order logic, this article characterizes propositional bi-intuitionistic logic as the maximal (with respect to expressive power) abstract logic satisfying a certain form of compactness, the Tarski union property and preservation under bi-asimulations. Since bi-intuitionistic logic introduces new complexities in the intuitionistic setting by adding the analogue of a backwards looking modality, the present paper constitutes a non-trivial modification of the previous work done by the authors for intuitionistic logic (Badia and Olkhovikov, 2020, Notre Dame Journal of Formal Logic, 61, 11–30). |
Year | DOI | Venue |
---|---|---|
2022 | 10.1093/logcom/exab058 | Journal of Logic and Computation |
Keywords | DocType | Volume |
Lindström theorem,bi-intuitionistic logic,abstract model theory,bi-asimulations | Journal | 32 |
Issue | ISSN | Citations |
1 | 0955-792X | 0 |
PageRank | References | Authors |
0.34 | 0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Grigory Olkhovikov | 1 | 0 | 0.34 |
guillermo badia | 2 | 5 | 5.53 |