Zobrazeno 1 - 10
of 28
pro vyhledávání: '"Gencer, Çiğdem"'
We investigate intuitionistic modal logics with locally interpreted $\square$ and $\lozenge$. The basic logic LIK is stronger than constructive modal logic WK and incomparable with intuitionistic modal logic IK. We propose an axiomatization of LIK an
Externí odkaz:
http://arxiv.org/abs/2403.06772
We introduce FIK, a natural intuitionistic modal logic specified by Kripke models satisfying the condition of forward confluence. We give a complete Hilbert-style axiomatization of this logic and propose a bi-nested calculus for it. The calculus prov
Externí odkaz:
http://arxiv.org/abs/2309.06309
The unification problem in a propositional logic is to determine, given a formula F, whether there exists a substitution s such that s(F) is in that logic. In that case, s is a unifier of F. When a unifiable formula has minimal complete sets of unifi
Externí odkaz:
http://arxiv.org/abs/2004.07904
Autor:
Balbiani, Philippe, Gencer, Çiğdem
The unification problem in a normal modal logic is to determine, given a formula F, whether there exists a substitution s such that s(F) is in that logic. In that case, s is a unifier of F. We shall say that a set of unifiers of a unifiable formula F
Externí odkaz:
http://arxiv.org/abs/1902.03770
Autor:
Balbiani, Philippe, Gencer, Çiğdem
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2020 Oct 01. 108(5), 941-966.
Externí odkaz:
https://www.jstor.org/stable/45379254
Autor:
Balbiani, Philippe1 (AUTHOR), Gencer, ÇiĞdem2 (AUTHOR), Rostamigiv, Maryam1 (AUTHOR), Tinchev, Tinko3 (AUTHOR)
Publikováno v:
Logic Journal of the IGPL. Feb2023, Vol. 31 Issue 1, p115-139. 25p.
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.
Publikováno v:
Logic Journal of the IGPL. Feb2019, Vol. 27 Issue 1, p8-32. 25p.
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.
Publikováno v:
Annals of Mathematics & Artificial Intelligence; May2022, Vol. 90 Issue 5, p481-497, 17p