Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             5 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Completeness and Decidability of General First-Order Logic (with a Detour Through the Guarded Fragment) Antonelli, Aldo
2017
46 3 p. 233-257
artikel
2 Cut-Elimination for Quantified Conditional Logic Benzmüller, Christoph
2016
46 3 p. 333-353
artikel
3 Inter-Definability of Horn Contraction and Horn Revision Zhuang, Zhiqiang
2016
46 3 p. 299-332
artikel
4 Interpersonal Sameness of Meaning for Inferential Role Semantics Jönsson, Martin L.
2016
46 3 p. 269-297
artikel
5 On A New Semantics for First-Order Predicate Logic Andréka, Hajnal
2017
46 3 p. 259-267
artikel
                             5 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland