Author:
Leszczyńska-Jasion Dorota
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference20 articles.
1. Avron A. (1996) ‘The Method of Hypersequents in Proof Theory of Propositional Non–Classical Logics’. In: Hodges W., Hyland M., Steinhorn Ch., Truss J. (eds) From Foundations to Applications. Oxford University Press, Logic, pp 1–32
2. Bull, R., and K. Segerberg, ‘Basic Modal Logic’, in D.M. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, 2nd edition, Vol. 3, Kluwer Academic Publishers: Dordrecht/Boston/London, 2001, pp. 1–81.
3. Fitting, M., Proof Methods for Modal and Intuitionistic Logic, Vol. 169 of Synthese Library, Reidel Publ. Comp.: Dordrecht, 1983.
4. Goré R. (1999) ‘Tableau Methods for Modal and Temporal Logics’. In: DAgostino M., Gabbay D.M., Hähnle R., Posegga J. (eds) Handbook of Tableau Methods. Kluwer Academic Publishers, Dordrecht, pp 297–396
5. Hughes G., Cresswell M. (1968) An Introduction to Modal Logic. Methuen, London
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献