Ewa Or?owska on Relational Methods in Logic and Computer Science
Autor: | Joanna Goli?ska-Pilarek, Micha? Zawidzki |
---|---|
EAN: | 9783319978796 |
eBook Format: | |
Sprache: | Englisch |
Produktart: | eBook |
Veröffentlichungsdatum: | 08.12.2018 |
Kategorie: | |
Schlagworte: | Ewa Or?owska on Logic;Relational Methods in Logic;Relational Methods in Computer Science;Logics for Knowledge Representation;Logics for Reasoning Under Uncertainty;Algebraic Methods in Logic;Proof Systems for Non-Classical Logics;Tableau and Dual Tab |
139,09 €*
Versandkostenfrei
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
Joanna Goli?ska-Pilarek is an assistant professor at the Institute of Philosophy, University of Warsaw. Her research interests are focused on logic and its applications, in particular in philosophy, mathematics, cognitive and computer sciences. Recently, she has been working on logics for qualitative reasoning and their (relational) dual tableaux, non-Fregean logics with identity and equimeaning connectives. She has published in the leading international journals in the field (Annals of Pure and Applied Logic, Logic Journal of IGPL, Fuzzy Sets and Systems, Studia Logica, Mathematical Logic Quarterly, Journal of Philosophical Logic, Notre Dame Journal of Formal Logic). She has also co-authored a comprehensive survey monograph, Dual Tableaux: Foundations, Methodology, Case Studies, published by Springer (2011).
Micha? Zawidzki is an assistant professor at the Department of Logic and Methodology of Science, University of ?ód?. He obtained his PhD from the University of ?ód? in 2013. His research interests are in the fields of modal logics, hybrid logics, decidability, and computational complexity of non-classical logics, tableau calculi, and applications of logics in modeling human interactions. He is the author of a monograph on deductive systems for standard and non-standard hybrid logics. Between 2013 and 2017 he worked as a research fellow on the project Logics for Qualitative Reasoning under the supervision of Dr. Joanna Goli?ska-Pilarek.