Gentzen and Temporal Sequents
References
- [Avron 96] Avron, A., ‘The Method of Hypersequents in the Proof Theory of Propositional Non-Classical Logics’, in: W. Hodges et al. (ed.), Logic: From Foundations to Applications, pp. 1–32, Oxford Science Publication, Oxford, 1996.
- [Belnap 82] Belnap, N., D. ‘Display Logic’, Journal of Philosophical Logic, 11:375– 417, 1982.
- [Curry 63] Curry H. B., Foundations of Mathematical Logic, McGraw-Hill, New York 1963.
- [Fitting 84] Fitting, M., Proof Methods for Modal and Intuitionistic Logics, Reidel, Dordrecht 1983.
- [Gentzen 34] Gentzen, G., ‘Untersuchungen über das Logische Schliessen’, Mathematische Zeitschrift 39:176–210 and 39:405–431, 1934.
- [Indrzejczak 96] Indrzejczak, A., ‘Cut-free Sequent Calculus for S5’, Bulletin of the Section of Logic 25(2):95–102, 1996.
- [Indrzejczak 97] Indrzejczak, A., ‘Generalised Sequent Calculus for Propositional Modal Logics’, Logica Trianguli 1:15–31, 1997.
- [Indrzejczak 00] Indrzejczak, A., ‘Multiple Sequent Calculus for Tense Logics’, Abstracts of AiML and ICTL 2000:93–104, Leipzig 2000.
- [Indrzejczak 03] Indrzejczak, A., ‘A Labelled Natural Deduction System for Linear Temporal Logic’, Studia Logica 75/3:345–376, 2003.
- [Indrzejczak 10] Indrzejczak, A., Natural Deduction, Hybrid Systems and Modal Logics, Springer 2010.
- [Indrzejczak 19] Indrzejczak, A., ‘Cut Elimination in Hypersequent Calculus for Some Logics of Linear Time’, The Review of Symbolic Logic, 12/4:806–822, 2019.
- [Jaśkowski 34] Jaśkowski, S., ‘On the Rules of Suppositions in Formal Logic’ Studia Logica 1:5–32, 1934.
- [Kashima 94] Kashima, R., ‘Cut-free sequent calculi for some tense logics’, Studia Logica, 53:119–135, 1994.
- [Nishimura 80] Nishimura, H., ‘A Study of Some Tense Logics by Gentzen’s Sequential Method’, Publications of the Research Institute for Mathematical Sciences, Kyoto University, 16:343–353, 1980.
- [Poggiolesi 11] Poggiolesi F., Gentzen Calculi for Modal Propositional Logic, Springer 2011.
- [Trzęsicki 80] Trzęsicki, K., ‘Badania nad wnioskowaniem logicznym’, Białystok 1980.
- [Trzęsicki 84] Trzęsicki, K., ‘Gentzen-style axiomatization of tense logic’, Bulletin of the Section of Logic 13(2):75–84, 1984.
- [Trzęsicki 08] Trzęsicki, K., Logika temporalna. Wybrane zagadnienia, Białystok 2008.
- [Wansing 99] Wansing, H., Displaying Modal Logics, Kluwer Academic Publishers, Dordrecht 1999.
- [Wansing 02] Wansing, H., ‘Sequent Systems for Modal Logics’, Kluwer Academic Publishers, Dordrecht 1999. w: D. Gabbay, F. Guenthner (eds.), Handbook of Philosophical Logic, vol II, pp. 89–133, Reidel Publishing Company, Dordrecht 1984.
- [Zeman 73] Zeman, J., J., Modal Logic, Oxford University Press, Oxford 1973.
Language: English
Page range: 241 - 258
Published on: Dec 21, 2024
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Keywords:
Related subjects:
© 2024 Andrzej Indrzejczak, published by University of Białystok
This work is licensed under the Creative Commons Attribution 4.0 License.