# Maximality of bi-intuitionistic propositional logic

@article{Olkhovikov2021MaximalityOB, title={Maximality of bi-intuitionistic propositional logic}, author={Grigory K. Olkhovikov and Guillermo Badia}, journal={J. Log. Comput.}, year={2021}, volume={32}, pages={1-31} }

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…

## 2 Citations

### Craig Interpolation Theorem fails in Bi-intuitionistic Predicate Logic

- PhilosophyThe Review of Symbolic Logic
- 2022

. In this article we show that bi-intuitionistic predicate logic lacks the Craig Interpolation Property. We proceed by adapting the counterexample given by Mints, Olkhovikov and Urquhart for…

### Nature of Knowledge in Philosophy

- Philosophy, EducationJournal of Education, Society and Behavioural Science
- 2022

This article is devoted to the philosophical study of the conditions under which knowledge can become a component or tool of education. The presentation of the contribution of epistemology to human…

## References

SHOWING 1-10 OF 34 REFERENCES

### Bi-Simulating in Bi-Intuitionistic Logic

- PhilosophyStud Logica
- 2016

This note characterize the expressive power of this logic by showing that the first order formulas equivalent to translations of bi-intuitionistic propositional formulas are exactly those preserved under bi-intoitionistic directed bisimulations.

### Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic

- PhilosophyWoLLIC
- 2019

The main result is a Hennessy-Milner property for bi-intuitionistic logic interpreted over certain classes of Kripke models, and the use of behavioural equivalence.

### MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS

- PhilosophyThe Review of Symbolic Logic
- 2013

It is proved that a first-order formula is equivalent to a standard translation of an intuitionistic propositional formula over the class of intuitionistic Kripke models iff it is invariant with respect to asimulations between intuitionistic models.

### ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC

- PhilosophyThe Review of Symbolic Logic
- 2016

Applying a version of Maehara technique modified in several ways, it is proved that bi-intuitionistic logic enjoys the classical Craig interpolation property and Maximova variable separation property; its Halldén completeness follows.

### A Lindström theorem for modal logic

- Philosophy
- 1994

A modal analogue of Lindstrr om's characterization of rst-order logic is proved. Basic modal logics are characterized as the only modal logics that have a notion of nite rank, or, equivalently, as…

### Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic

- Philosophy, Computer ScienceJ. Log. Comput.
- 2010

This work presents a new cut-free sequent calculus for bi-intuitionistic logic, and proves it sound and complete with respect to its Kripke semantics.

### Extending Intuitionistic Logic with Subtraction

- Philosophy
- 1997

This paper is an exercise in formal and philosophical logic. I will show how intuitionistic propositional logic can be extended with a new two-place connective, not expressible in the traditional…

### A General Lindström Theorem for Some Normal Modal Logics

- Philosophy, MathematicsLogica Universalis
- 2013

A generic Lindström theorem is proved that covers any normal modal logic corresponding to a class of Kripke frames definable by a set of formulas called strict universal Horn formulas.

### Bi-intuitionistic implication structures

- PhilosophyJ. Appl. Non Class. Logics
- 2018

This contribution will present some results concerning the connectives of bi-intuitionistic logic in the setting of Arnold Koslow’s implication structures and soundness and completeness results of Koslow's implication structures with respect to bi- Intuitionist logic.