Edit Profile (opens in new tab) Muskens, Reinhard A. Co-Author Distance Author ID: muskens.reinhard-a Published as: Muskens, Reinhard; Muskens, Reinhard A. External Links: MGP Documents Indexed: 19 Publications since 1989 10 Contributions as Editor Co-Authors: 11 Co-Authors with 19 Joint Publications 190 Co-Co-Authors all top 5 Co-Authors 10 single-authored 7 Bunt, Harry 6 Wintein, Stefan 2 Foret, Annie 2 Morrill, Glyn V. 2 Osswald, Rainer 2 Pogodalla, Sylvain 2 Thijsse, Elias G. C. 1 Icard, Thomas F. III 1 Mints, Grigoriĭ Efroimovich 1 Richter, Frank M. 1 Sadrzadeh, Mehrnoosh all top 5 Serials 5 Studies in Linguistics and Philosophy 4 Lecture Notes in Computer Science 3 Studia Logica 2 Journal of Philosophical Logic 2 Logique et Analyse. Nouvelle Série 1 The Journal of Symbolic Logic 1 Linguistics and Philosophy 1 Notre Dame Journal of Formal Logic 1 Journal of Logic, Language and Information 1 CSLI Lecture Notes Fields 22 Mathematical logic and foundations (03-XX) 12 Computer science (68-XX) 9 General and overarching topics; collections (00-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 13 Publications have been cited 55 times in 45 Documents Cited by ▼ Year ▼ On partial and paraconsistent logics. Zbl 1007.03029 Muskens, Reinhard 11 1999 Intensional models for the theory of types. Zbl 1116.03008 Muskens, Reinhard 11 2007 A Gentzen calculus for nothing but the truth. Zbl 1392.03032 Wintein, Stefan; Muskens, Reinhard 7 2016 Computational semantics. Zbl 1001.03033 Bunt, Harry; Muskens, Reinhard 4 2001 A calculus for Belnap’s logic in which each proof consists of two trees. Zbl 1301.03058 Wintein, Stefan; Muskens, Reinhard 4 2012 From bi-facial truth to bi-facial proofs. Zbl 1378.03016 Wintein, Stefan; Muskens, Reinhard A. 3 2015 Hyperfine-grained meanings in classical logic. Zbl 0799.03003 Muskens, Reinhard 3 1991 Interpolation methods for Dunn logics and their extensions. Zbl 1417.03184 Wintein, Stefan; Muskens, Reinhard 3 2017 Context update for lambdas and vectors. Zbl 1485.03073 Muskens, Reinhard; Sadrzadeh, Mehrnoosh 2 2016 Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\). Zbl 1345.03050 Muskens, Reinhard; Wintein, Stefan 2 2015 Talking about trees and truth-conditions. Zbl 0998.03026 Muskens, Reinhard 2 2001 A relational formulation of the theory of types. Zbl 0672.03014 Muskens, Reinhard 2 1989 Going partial in Montague grammar. Zbl 0773.03020 Muskens, Reinhard 1 1989 Interpolation methods for Dunn logics and their extensions. Zbl 1417.03184 Wintein, Stefan; Muskens, Reinhard 3 2017 A Gentzen calculus for nothing but the truth. Zbl 1392.03032 Wintein, Stefan; Muskens, Reinhard 7 2016 Context update for lambdas and vectors. Zbl 1485.03073 Muskens, Reinhard; Sadrzadeh, Mehrnoosh 2 2016 From bi-facial truth to bi-facial proofs. Zbl 1378.03016 Wintein, Stefan; Muskens, Reinhard A. 3 2015 Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\). Zbl 1345.03050 Muskens, Reinhard; Wintein, Stefan 2 2015 A calculus for Belnap’s logic in which each proof consists of two trees. Zbl 1301.03058 Wintein, Stefan; Muskens, Reinhard 4 2012 Intensional models for the theory of types. Zbl 1116.03008 Muskens, Reinhard 11 2007 Computational semantics. Zbl 1001.03033 Bunt, Harry; Muskens, Reinhard 4 2001 Talking about trees and truth-conditions. Zbl 0998.03026 Muskens, Reinhard 2 2001 On partial and paraconsistent logics. Zbl 1007.03029 Muskens, Reinhard 11 1999 Hyperfine-grained meanings in classical logic. Zbl 0799.03003 Muskens, Reinhard 3 1991 A relational formulation of the theory of types. Zbl 0672.03014 Muskens, Reinhard 2 1989 Going partial in Montague grammar. Zbl 0773.03020 Muskens, Reinhard 1 1989 all cited Publications top 5 cited Publications all top 5 Cited by 50 Authors 7 Muskens, Reinhard A. 6 Wintein, Stefan 5 Benzmüller, Christoph Ewald 3 Kocurek, Alexander W. 3 Omori, Hitoshi 3 Petrukhin, Yaroslav Igorevich 2 Bunt, Harry 2 Degauquier, Vincent 2 Francez, Nissim 2 Indrzejczak, Andrzej 2 Sadrzadeh, Mehrnoosh 2 Shramko, Yaroslav V. 2 Wansing, Heinrich Theodor 1 Asher, Nicholas M. 1 Bacon, Andrew 1 Belikov, Aleksander Aleksandrovich 1 Bos, Johan 1 Farjami, Ali 1 Fernando, Tim 1 Fritz, Peter 1 Grigor’ev, Oleg Mikhaĭlovich 1 Hetzl, Stefan 1 Jerzak, Ethan J. 1 Kaminski, Michael 1 Kapsner, Andreas 1 Kirchner, Daniel 1 Kooi, Barteld Pieter 1 Kozhemiachenko, Daniil 1 Lederman, Harvey 1 Leitsch, Alexander 1 Liefke, Kristina 1 Ma, Minghui 1 Nefdt, Ryan M. 1 Pagin, Peter 1 Parent, Xavier 1 Paulson, Lawrence Charles 1 Pulman, Stephen G. 1 Rivieccio, Umberto 1 Sanders, Sam 1 Sano, Katsuhiko 1 Steen, Alexander 1 Tamminga, Allard M. 1 Uzquiano, Gabriel 1 Villadsen, Jørgen 1 Weller, Daniel S. 1 Wijnholds, Gijs Jasper 1 Wong, Chun-Ting 1 Zaitsev, Dmitry V. 1 Zalta, Edward N. 1 Zeng, Jin all top 5 Cited in 15 Serials 10 Journal of Philosophical Logic 8 Studia Logica 3 The Review of Symbolic Logic 2 Journal of Automated Reasoning 2 Journal of Logic, Language and Information 2 Logica Universalis 1 Journal of Computer and System Sciences 1 Notre Dame Journal of Formal Logic 1 Synthese 1 Bulletin of the Section of Logic 1 Annals of Pure and Applied Logic 1 Journal of Applied Non-Classical Logics 1 Logic and Logical Philosophy 1 Journal of Applied Logic 1 Chelyabinskiĭ Fiziko-Matematicheskiĭ Zhurnal Cited in 4 Fields 40 Mathematical logic and foundations (03-XX) 8 Computer science (68-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 General and overarching topics; collections (00-XX) Citations by Year