Search Results - "Olkhovikov, Grigory"

Stit logic of justification announcements: a completeness result by Olkhovikov, Grigory K

Get full text

Justification announcements in discrete time. Part II: Frame definability results by Olkhovikov, Grigory K

“…In Part I of this paper we presented a Hilbert-style system $\Sigma _D$ axiomatizing stit logic of justification announcements interpreted over models with…”
Get full text

Simplified Tableaux for STIT Imagination Logic by Olkhovikov, Grigory K., Wansing, Heinrich

“…We show how to correct the analytic tableaux system from the paper Olkhovikov and Wansing (Journal of Philosophical Logic, 47(2), 259-279, 2018)…”
Get full text

On expressive power of basic modal intuitionistic logic as a fragment of classical FOL by Olkhovikov, Grigory K.

“…The modal characterization theorem by J. van Benthem characterizes classical modal logic as the bisimulation invariant fragment of first-order logic. In this…”
Get full text

Justification announcements in discrete time. Part I: Completeness results by Olkhovikov, Grigory K

Get full text

An Axiomatic System and a Tableau Calculus for STIT Imagination Logic by Olkhovikov, Grigory K., Wansing, Heinrich

“…We formulate a Hilbert-style axiomatic system and a tableau calculus for the STIT-based logic of imagination recently proposed in Wansing (2015). Completeness…”
Get full text

Failure of Interpolation in Constant Domain Intuitionistic Logic by Mints, Grigori, Olkhovikov, Grigory, Urquhart, Alasdair

“…This paper shows that the interpolation theorem fails in the intuitionistic logic of constant domains. This result refutes two previously published claims that…”
Get full text

An Intuitionistically Complete System of Basic Intuitionistic Conditional Logic by Olkhovikov, Grigory

“…We introduce a basic intuitionistic conditional logic IntCK that we show to be complete both relative to a special type of Kripke models and relative to a…”
Get full text

A Lindström theorem in many-valued modal logic over a finite MTL-chain by Badia, Guillermo, Olkhovikov, Grigory

“…We consider a modal language over crisp frames and formulas evaluated on a finite MTL-chain (a linearly ordered commutative integral residuated lattice). We…”
Get full text

Maximality of bi-intuitionistic propositional logic by Olkhovikov, Grigory, Badia, Guillermo

“…Abstract In the style of Lindström’s theorem for classical first-order logic, this article characterizes propositional bi-intuitionistic logic as the maximal…”
Get full text

A Lindström theorem for intuitionistic first-order logic by Olkhovikov, Grigory, Badia, Guillermo, Zoghifard, Reihane

“…We extend the main result of [1] to the first-order intuitionistic logic (with and without equality), showing that it is a maximal (with respect to expressive…”
Get full text

On generalized Van Benthem-type characterizations by Olkhovikov, Grigory K.

“…The paper continues the line of [6–8]. This results in a model-theoretic characterization of expressive powers of arbitrary finite sets of guarded connectives…”
Get full text

Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic by Olkhovikov, Grigory K., Wansing, Heinrich

“…In this paper we consider logical inference as an activity that results in proofs and hence produces knowledge. We suggest to merge the semantical analysis of…”
Get full text

Conditional reasoning and the shadows it casts onto the first-order logic: the Nelsonian case by 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…”
Get full text

An intuitionistically complete system of basic intuitionistic conditional logic by 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…”
Get full text

Model-theoretic characterization of intuitionistic predicate formulas by Olkhovikov, G. K.

Get full text

A basic system of paraconsistent Nelsonian logic of conditionals by 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…”
Get full text

Maximality of bi-intuitionistic propositional logic by 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…”
Get full text

Craig interpolation theorem fails in bi-intuitionistic predicate logic by Olkhovikov, Grigory K, Badia, Guillermo

“…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…”
Get full text

Stit logic of justification announcements: a completeness result by Olkhovikov, Grigory

“…We present a completeness result for a logical system which combines stit logic and justification logic in order to represent proving activity of the agents…”
Get full text