[
Antoniou Grigoris, Nonmonotonic Reasoning, MIT, 1997.10.7551/mitpress/5040.001.0001
]Search in Google Scholar
[
Jarmużek Tomasz, Tkaczyk Marcin, A method of defining paraconsistent tableaus, pp. 295-307, in New Directions in Paraconsistent Logic, J. Y. Beziau, M. Chakraborty and S. Dutta (eds.), vol. 152 of series Springer Proceedings in Mathematics and Statistics, Springer India, 2015.10.1007/978-81-322-2719-9_14
]Search in Google Scholar
[
Jarmużek Tomasz, Formalizacja metod tablicowych dla logik zdań i logik nazw (Formalization of tableau methods for propositional logics and for logics of names), Wydawnictwo UMK, Toruń, 2013.
]Search in Google Scholar
[
Jarmużek Tomasz, Tkaczyk Marcin, Modal paraconsistent tableau systems of logic, WSEAS Transactions on Mathematics, vol. 14 (2015), pp. 248-255.
]Search in Google Scholar
[
Jarmużek Tomasz, Tableau Metatheorem for Modal Logics, pp. 105-128, in Recent Trends in Philosphical Logic, Trends in Logic, (eds) Roberto Ciuni, Heinrich Wansing, Caroline Willkomennen, Springer Verlag, 2013.10.1007/978-3-319-06080-4_8
]Search in Google Scholar
[
Makinson David, Bridges from Classical to Nonmonotonic Logic, King’s College 2005.
]Search in Google Scholar
[
Makinson David, Przedmowa do polskiego wydania (Preface to Polish edition), p. IX, in Od logiki klasycznej do niemonotonicznej, D. Makinson, translated by Tomasz Jarmużek, Wydawnictwo UMK, Toruń 2008.
]Search in Google Scholar
[
Olivetti Nicola, Tableaux for Nonmonotonic Logics, pp. 469-529, in D’Agostino M., Gabbay D., Haehnle R., Posegga J. (eds), Handbook of Tableau Methods, Kluwer, 1999.10.1007/978-94-017-1754-0_8
]Search in Google Scholar
[
Tarski Alfred, On the concept of logical consequence, pp. 409-420 in Alfred Tarski, Logic, Semantics, Metamathematics Papers from 1923 to 1938, translated by J.H. Woodger, Oxford: Clarendon Press 1956.
]Search in Google Scholar
[
Wójcicki Ryszard, Theory of Logical Calculi Basic Theory of Consequence Operations, Springer 1988.10.1007/978-94-015-6942-2
]Search in Google Scholar
