Zobrazeno 1 - 10
of 251
pro vyhledávání: '"proof theory for modal logic"'
Autor:
Fitting, Melvin
Publikováno v:
The Journal of Symbolic Logic, 1999 Dec 01. 64(4), 1825-1828.
Externí odkaz:
https://www.jstor.org/stable/2586817
Autor:
Heinrich Wansing
Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proo
Autor:
Sara Negri
Publikováno v:
Philosophy Compass. 6:523-538
The axiomatic presentation of modal systems and the standard formulations of natural deduction and sequent calculus for modal logic are reviewed, together with the difficulties that emerge with these approaches. Generalizations of standard proof syst
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9cef0911a3b9415c61ad9d2433576c6d
https://doi.org/10.1111/j.1747-9991.2011.00418.x
https://doi.org/10.1111/j.1747-9991.2011.00418.x
Autor:
Melvin Fitting
Publikováno v:
Journal of Symbolic Logic. 64:1825-1828
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fb137061c3c1ac842442c47c84435aeb
https://doi.org/10.2307/2586817
https://doi.org/10.2307/2586817
Autor:
Poggiolesi, Francesca, Restall, Greg
Publikováno v:
New Waves in Philosophical Logic
Greg Restall, Gillian Russell, eds. New Waves in Philosophical Logic, Palgrave Macmillan, pp.39-62, 2012, New Waves of Philosophy
Greg Restall, Gillian Russell, eds. New Waves in Philosophical Logic, Palgrave Macmillan, pp.39-62, 2012, New Waves of Philosophy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c26a168c7369cc74c3081cb145e65403
https://halshs.archives-ouvertes.fr/halshs-00775812
https://halshs.archives-ouvertes.fr/halshs-00775812
Autor:
Heinrich Wansing
Publikováno v:
Applied Logic Series ISBN: 9789048147205
Proof Theory of Modal Logic
Proof Theory of Modal Logic
Preface. Part I: Standard Proof Systems. 1. A Contraction-free Sequent Calculus for S4 J. Hudelmaier. 2. Transfer of Sequent Calculus Strategies to Resolution for S4 G. Mints, et al. 3. A Linear Approach to Modal Proof Theory H. Schellinx. 4. Refutat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cd0f38bbd6c33783e47d52e36eeb6549
https://doi.org/10.1007/978-94-017-2798-3
https://doi.org/10.1007/978-94-017-2798-3
Autor:
Fitting, Melvin
Publikováno v:
Journal of Symbolic Logic; December 1999, Vol. 64 Issue: 4 p1825-1828, 4p
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