Zobrazeno 1 - 10
of 100
pro vyhledávání: '"Olkhovikov, Grigory"'
Autor:
Olkhovikov, Grigory
We define a natural notion of standard translation for the formulas of conditional logic which is analogous to the standard translation of modal formulas into the first-order logic. We briefly show that this translation works (modulo a lightweight fi
Externí odkaz:
http://arxiv.org/abs/2411.08786
Autor:
Olkhovikov, Grigory K.
We define a Kripke semantics for a conditional logic based on the propositional logic $\mathsf{N4}$, the paraconsistent variant of Nelson's logic of strong negation; we axiomatize the minimal system induced by this semantics. The resulting logic, whi
Externí odkaz:
http://arxiv.org/abs/2311.02361
Autor:
Olkhovikov, Grigory
We introduce a basic intuitionistic conditional logic $\mathsf{IntCK}$ that we show to be complete both relative to a special type of Kripke models and relative to a standard translation into first-order intuitionistic logic. We show that $\mathsf{In
Externí odkaz:
http://arxiv.org/abs/2306.10402
Publikováno v:
The Review of Symbolic Logic 17 (2024) 611-633
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 intuitionistic predicate logic with constant domains (G. Mint
Externí odkaz:
http://arxiv.org/abs/2205.00245
Autor:
Olkhovikov, Grigory, Badia, Guillermo
In the style of Lindstr\"om'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 Tar
Externí odkaz:
http://arxiv.org/abs/2104.03052
We extend the main result of (G. Badia and G. Olkhovikov. A Lindstr\"om theorem for intuitionistic propositional logic. Notre Dame Journal of Formal Logic, 61 (1): 11--30 (2020)) to the first-order intuitionistic logic (with and without equality), sh
Externí odkaz:
http://arxiv.org/abs/2103.17024
Publikováno v:
In Annals of Pure and Applied Logic December 2023 174(10)
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Badia, Guillermo, Olkhovikov, Grigory
Publikováno v:
Notre Dame J. Formal Logic 61, no. 1 (2020), 11-30
It is shown that propositional intuitionistic logic is the maximal (with respect to expressive power) abstract logic satisfying a certain topological property reminiscent of compactness, the Tarski union property and preservation under asimulations.
Externí odkaz:
http://arxiv.org/abs/1810.09744
Autor:
Olkhovikov, Grigory K.
Publikováno v:
The Review of Symbolic Logic 13 (2020) 459-482
We consider the propositional logic equipped with Chellas stit operators for a finite set of individual agents plus the historical necessity modality. We settle the question of whether such a logic enjoys restricted interpolation property, which requ
Externí odkaz:
http://arxiv.org/abs/1804.08306