Zobrazeno 1 - 4
of 4
pro vyhledávání: '"proof theory for modal logic"'
Autor:
Dan Hernest, Trifon Trifonov
Our Minlog (http://minlog-system.de) variant and implementation of modal Dialectica (https://arxiv.org/pdf/1212.0020) may be found athttps://triffon.github.io/mlfd. This is the appendix of our Modal Functional Interpretation paper, as submitted tohtt
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7405135aeb6367194cf780c84bb99e5f
Autor:
Greco, G., Balco, Samuel, Frittella, Sabine, Kurz, Alexander, Palmigiano, Alessandra, Avigad, J., Mahboubi, A., LS Linguistiek de taalinformatica, ILS LLI
Publikováno v:
Interactive Theorem Proving ISBN: 9783319948201
ITP
Interactive Theorem Proving, 10895(LNCS), 48. Springer Cham
ITP
Interactive Theorem Proving, 10895(LNCS), 48. Springer Cham
We present a software tool for reasoning in and about propositional sequent calculi for modal logics of actions. As an example, we implement the display calculus D.EAK of dynamic epistemic logic. The tool generates embeddings of the calculus in the t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e1cbbfb53ade8827b78cc1cdee2cc1e9
https://doi.org/10.1007/978-3-319-94821-8_4
https://doi.org/10.1007/978-3-319-94821-8_4
Conference
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.
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.