Zobrazeno 1 - 10
of 33
pro vyhledávání: '"Afshari, Bahareh"'
Autor:
Afshari, Bahareh, Kloibhofer, Johannes
We consider modal logic extended with the well-known temporal operator `eventually' and provide a cut-elimination procedure for a cyclic sequent calculus that captures this fragment. The work showcases an adaptation of the reductive cut-elimination m
Externí odkaz:
http://arxiv.org/abs/2405.01935
We develop the theory of illfounded and cyclic proof systems in the context of the modal $\mu$-calculus. A fine analysis of provability and admissibility bridges the finitary, cyclic and illfounded notions of proof for this logic and re-enforces the
Externí odkaz:
http://arxiv.org/abs/2401.01096
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:
Afshari, Bahareh, Wehr, Dominik
Publikováno v:
In Information and Computation November 2022
Autor:
Afshari, Bahareh
Publikováno v:
The Bulletin of Symbolic Logic, 2020 Sep 01. 26(3/4), 314-314.
Externí odkaz:
https://www.jstor.org/stable/27004568
Publikováno v:
EPTCS 213, 2016, pp. 1-10
We present a structural representation of the Herbrand content of LK-proofs with cuts of complexity prenex Sigma-2/Pi-2. The representation takes the form of a typed non-deterministic tree grammar of order 2 which generates a finite language of first
Externí odkaz:
http://arxiv.org/abs/1606.06384
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:
Afshari, Bahareh1 (AUTHOR) bahareh.afshari@gu.se, Enqvist, Sebastian2 (AUTHOR), Leigh, Graham E3 (AUTHOR)
Publikováno v:
Logic Journal of the IGPL. Feb2024, Vol. 32 Issue 1, p1-34. 34p.
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.