Name Card

Full name Familienname, Vorname
Van Berkel, Cornelis Lambertus Johannes
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 22 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1van Berkel-2022-Journal of Logic, Language and Information-vor.pdf.jpgvan Berkel, Kees ; Ciabattoni, Agata ; Freschi, Elisa ; Gulisano, Francesca ; Olszewski, Maya Deontic Paradoxes in Mīmāṃsā Logics: There and Back AgainArticle Artikel Jan-2023
2Van Berkel Cornelis Lambertus Johannes - 2023 - A Logical Analysis of Normative...pdf.jpgVan Berkel, Cornelis Lambertus Johannes A logical analysis of normative reasoning: Agency, action, and argumentationThesis Hochschulschrift 2023
3Van Berkel-2022-Reasoning With and About Norms in Logical Argumentation-vor.pdf.jpgvan Berkel, Kees ; Straßer, Christian Reasoning With and About Norms in Logical ArgumentationInproceedings Konferenzbeitrag Sep-2022
4Tumasyan, A. ; Adam, W. ; Andrejkovic, J. W. ; Bergauer, T. ; Chatterjee, S. ; Dragicevic, M. ; Escalante Del Valle, A. ; Frühwirth, R. ; Jeitler, Manfred ; Krammer, N. ; Lechner, L. ; Liko, D. ; Mikulec, I. ; Paulitsch, P. ; Pitters, F. M. ; Schieck, Jochen ; Schöfbeck, R. ; Spanring, M. ; Templ, S. ; Waltenberger, W. ; Wulz, C. E. ; Janssen, T. ; Cornelis, T. Search for single production of a vector-like T quark decaying to a top quark and a Z boson in the final state with jets and missing transverse momentum at √s = 13 TeVArticle Artikel 16-May-2022
5Tumasyan, A. ; Adam, W. ; Andrejkovic, J. W. ; Bergauer, T. ; Chatterjee, S. ; Damanakis, K. ; Dragicevic, M. ; Escalante Del Valle, A. ; Frühwirth, R. ; Jeitler, M. ; Krammer, N. ; Lechner, L. ; Liko, D. ; Mikulec, I. ; Paulitsch, P. ; Pitters, F. M. ; Schieck, J. ; Schöfbeck, R. ; Schwarz, D. ; Templ, S. ; Waltenberger, W. ; Wulz, C. E. ; Chekhovsky, V. ; Litomin, A. ; Makarenko, V. ; Darwish, M. R. ; De Wolf, E. A. ; Janssen, T. ; Kello, T. ; Lelek, A. ; Rejeb Sfar, H. ; Van Mechelen, P. ; Van Putte, S. ; Van Remortel, N. ; Blekman, F. ; Bols, E. S. ; D’Hondt, J. ; Delcourt, M. ; El Faham, H. ; Lowette, S. ; Moortgat, S. ; Morton, A. ; Müller, D. ; Sahasransu, A. R. ; Tavernier, S. ; Van Doninck, W. ; Beghin, Diego ; Bilin, B. ; Clerbaux, B. ; De Lentdecker, G. ; Favart, L. ; Grebenyuk, A. ; Kalsi, A. K. ; Lee, K.; Mahdavikhorrami, M. ; Makarenko, I. ; Moureaux, L. ; Pétré, L. ; Popov, A. ; Postiau, N. ; Starling, E. ; Thomas, L. ; Vanden Bemden, M. ; Vander Velde, C. ; Vanlaer, P. ; Cornelis, T. ; Dobur, D. ; Knolle, J. ; Lambrecht, L. ; Mestdach, G. ; Niedziela, M. ; Roskas, C. ; Samalan, A. ; Skovpen, K. ; Tytgat, M. ; Vermassen, B. ; Wezenbeek, L. ; Benecke, A. ; Bethani, A. ; Bruno, G.; Bury, F. ; Caputo, C. ; David, P. ; Delaere, C. ; Donertas, I. S. ; Giammanco, A. ; Jaffel, K. ; Jain, Sa ; Lemaitre, V. ; Mondal, K. ; Prisciandaro, J. ; Taliercio, A. ; Teklishyn, M. ; Tran, T. T.; Vischia, P. ; Wertz, S. ; Alves, G. A. ; Hensel, C.; Moraes, A. ; Aldá Júnior, W. L. Search for heavy resonances decaying to ZZ or ZW and axion-like particles mediating nonresonant ZZ or ZH production at √s = 13 TeVArticle Artikel 1-Apr-2022
6van Berkel, Kees Deontic Explanations by means of Formal ArgumentationPresentation Vortrag31-Mar-2022
7Arieli-2022-Annotated Sequent Calculi for Paraconsistent Reasoning and Th...-vor.pdf.jpgArieli, Ofer ; van Berkel, Kees ; Straßer, Christian Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical ArgumentationInproceedings Konferenzbeitrag 2022
8van Berkel, Kees ; Lyon, Tim The Varieties of Ought-Implies-Can and Deontic STIT LogicKonferenzbeitrag Inproceedings 2021
9van Berkel, Kees ; Gabbay, Dov M. If You Want to Smoke, Don't Buy Cigarettes: Near Anankastics, Contexts, and Hyper ModalityKonferenzbeitrag Inproceedings2021
10van Berkel, Kees What is the (potential) role of proof theory for normative reasoning?Präsentation Presentation2021
11van Berkel, Kees ; Sartor, G Using formal argumentation to clarify structures of legal reasoningPräsentation Presentation2021
12van Berkel, Kees What is the (potential) role of proof theory for normative reasoning?Präsentation Presentation2021
13Ciabattoni, Agata ; van Berkel, Kees ; Freschi, Elisa ; Gulisano, Francesca ; Olszewski, Maya The Gentle Murder Paradox in Sanskrit PhilosophyKonferenzbeitrag Inproceedings 2021
14Lyon, Tim ; van Berkel, Kees Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT LogicsKonferenzbeitrag Inproceedings 2019
15van Berkel, Kees ; Lyon, Tim Cut-Free Calculi and Relational Semantics for Temporal STIT LogicsKonferenzbeitrag Inproceedings 2019
16van Berkel, Kees ; Ciabattoni, Agata Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics.Konferenzbeitrag Inproceedings 2019
17van Berkel, Kees ; Lyon, Tim A Neutral Temporal Deontic STIT LogicKonferenzbeitrag Inproceedings 2019
18van Berkel, Kees Evaluating Networks of Structured Arguments with Support and a Case Study in Mimamsa Dialectics.Präsentation Presentation2019
19van Berkel, Kees Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT LogicsPräsentation Presentation2019
20Ciabattoni, Agata ; Lellmann, Björn ; van Berkel, Kees Deontic Reasoning: From Ancient Texts to Artificial Intelligence. Workshop reportArtikel Article2018