![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/ndjfl/ndjfl34.bht:"
@article{DBLP:journals/ndjfl/Adams93, author = {Ernest Adams}, title = {Formalizing the Logic of Positive, Comparative, and Superlative}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {1}, pages = {90--99}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634566}, doi = {10.1305/NDJFL/1093634566}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Adams93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/ArtemovB93, author = {Sergei N. Art{\"{e}}mov and Lev D. Beklemishev}, title = {On propositional quantifiers in provability logic}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {3}, pages = {401--419}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634729}, doi = {10.1305/NDJFL/1093634729}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/ArtemovB93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/BaumgartnerST93, author = {James E. Baumgartner and Saharon Shelah and Simon Thomas}, title = {Maximal Subsets of Infinite Symmetric Groups}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {1}, pages = {1--11}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634559}, doi = {10.1305/NDJFL/1093634559}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/BaumgartnerST93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Beavers93, author = {M. Gordon Beavers}, title = {Extensions of the {\(\aleph\)}\({}_{\mbox{0}}\)-Valued Lukasiewicz Propositional Logic}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {2}, pages = {251--262}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634656}, doi = {10.1305/NDJFL/1093634656}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Beavers93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Blackburn93, author = {Patrick Blackburn}, title = {Nominal Tense Logic}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {1}, pages = {56--83}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634564}, doi = {10.1305/NDJFL/1093634564}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Blackburn93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Bloesch93, author = {Anthony Bloesch}, title = {A Tableau Style Proof System for Two Paraconsistent Logics}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {2}, pages = {295--301}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634659}, doi = {10.1305/NDJFL/1093634659}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Bloesch93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Cerrato93, author = {Claudio Cerrato}, title = {Cut-free modal sequents for normal modal logics}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {4}, pages = {564--582}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093633906}, doi = {10.1305/NDJFL/1093633906}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Cerrato93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Cocchiarella93, author = {Nino B. Cocchiarella}, title = {Book Review: Stewart Shapiro. \emph{Foundations with foundationalism.}}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {3}, pages = {453--468}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634733}, doi = {10.1305/NDJFL/1093634733}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Cocchiarella93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Corsi93, author = {Giovanna Corsi}, title = {Quantified Modal Logics of Positive Rational Numbers and Some Related Systems}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {2}, pages = {263--283}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634657}, doi = {10.1305/NDJFL/1093634657}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Corsi93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/CowenW93, author = {Robert Cowen and Katherine Wyatt}, title = {{BREAKUP:} a preprocessing algorithm for satisfiability testing of {CNF} formulas}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {4}, pages = {602--606}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093633909}, doi = {10.1305/NDJFL/1093633909}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/CowenW93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Daniels93, author = {Charles B. Daniels}, title = {'Good' defined in terms of 'better'}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {3}, pages = {439--444}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634731}, doi = {10.1305/NDJFL/1093634731}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Daniels93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Dougherty93, author = {Daniel J. Dougherty}, title = {Closed Categories and Categorial Grammar}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {1}, pages = {36--49}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634562}, doi = {10.1305/NDJFL/1093634562}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Dougherty93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Firebaugh93, author = {Steve Firebaugh}, title = {A parity-based Frege proof for the symmetric pigeonhole principle}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {4}, pages = {597--601}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093633908}, doi = {10.1305/NDJFL/1093633908}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Firebaugh93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Graves93, author = {Paul R. Graves}, title = {Argument deletion without events}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {4}, pages = {607--620}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093633910}, doi = {10.1305/NDJFL/1093633910}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Graves93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Hindley93, author = {J. Roger Hindley}, title = {{BCK} and {BCI} Logics, Condensed Detachment and the 2-Property}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {2}, pages = {231--250}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634655}, doi = {10.1305/NDJFL/1093634655}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Hindley93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/HowardS93, author = {Paul E. Howard and Jeffrey Solski}, title = {The Strenght of the Delta-system Lemma}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {1}, pages = {100--106}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634567}, doi = {10.1305/NDJFL/1093634567}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/HowardS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/HyttinenST93, author = {Tapani Hyttinen and Saharon Shelah and Heikki Tuuri}, title = {Remarks on Strong Nonstructure Theorems}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {2}, pages = {157--168}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634649}, doi = {10.1305/NDJFL/1093634649}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/HyttinenST93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Kremer93, author = {Philip Kremer}, title = {The Gupta-Belnap systems S\({}^{\mbox{{\#}}}\) and S\({}^{\mbox{*}}\) are not axiomatisable}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {4}, pages = {583--596}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093633907}, doi = {10.1305/NDJFL/1093633907}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Kremer93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Macpherson93, author = {Brian MacPherson}, title = {Is It Possible that Belief Isn't Necessary?}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {1}, pages = {12--28}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634560}, doi = {10.1305/NDJFL/1093634560}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Macpherson93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Makkai93, author = {Michael Makkai}, title = {The fibrational formulation of intuitionistic predicate logic {I:} completeness according to G{\"{o}}del, Kripke, and L{\"{a}}uchli, Part 1}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {3}, pages = {334--377}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634727}, doi = {10.1305/NDJFL/1093634727}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Makkai93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Makkai93a, author = {Michael Makkai}, title = {The fibrational formulation of intuitionistic predicate logic {I:} completeness according to G{\"{o}}del, Kripke, and L{\"{a}}uchli, Part 2}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {4}, pages = {471--498}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093633902}, doi = {10.1305/NDJFL/1093633902}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Makkai93a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/McCune93, author = {William McCune}, title = {Single Axioms for the Left Group and the Right Group Calculi}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {1}, pages = {132--139}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634569}, doi = {10.1305/NDJFL/1093634569}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/McCune93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Milne93, author = {Peter Milne}, title = {Minimal doxastic logic: probabilistic and other completeness theorems}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {4}, pages = {499--526}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093633903}, doi = {10.1305/NDJFL/1093633903}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Milne93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Noah93, author = {Aris Noah}, title = {Non-Classical Syllogistic Inference and the Method of Resolution}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {2}, pages = {209--222}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634653}, doi = {10.1305/NDJFL/1093634653}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Noah93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Orlicki93, author = {Andrzej Orlicki}, title = {Multimorphisms over enumerated sets}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {4}, pages = {527--538}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093633904}, doi = {10.1305/NDJFL/1093633904}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Orlicki93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Otero93, author = {Margarita Otero}, title = {The Amalgamation Property in Normal Open Induction}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {1}, pages = {50--55}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634563}, doi = {10.1305/NDJFL/1093634563}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Otero93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Peterson93, author = {Philip L. Peterson}, title = {Intermediate Quantifiers for Finch's Proportions}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {1}, pages = {140--149}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634570}, doi = {10.1305/NDJFL/1093634570}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Peterson93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Piekart93, author = {Bozena Piekart}, title = {On Closed Elementary Cuts in Recursively Saturated Models of Peano Arithmetic}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {2}, pages = {223--230}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634654}, doi = {10.1305/NDJFL/1093634654}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Piekart93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Pizzi93, author = {Claudio Pizzi}, title = {Consequential implication. {A} correction to: "Decision procedures for logics of consequential implication"}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {4}, pages = {621--624}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093633911}, doi = {10.1305/NDJFL/1093633911}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Pizzi93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Sanchez-Miguel93, author = {Manuel Garc{\'{\i}}a{-}Carpintero S{\'{a}}nchez{-}Miguel}, title = {The Grounds for the Model-theoretic Account of the Logical Properties}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {1}, pages = {107--131}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634568}, doi = {10.1305/NDJFL/1093634568}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Sanchez-Miguel93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Sereny93, author = {Gy{\"{o}}rgy Ser{\'{e}}ny}, title = {Isomorphisms of Finite Cylindrical Set Algebras of Characteristic Zero}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {2}, pages = {284--294}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634658}, doi = {10.1305/NDJFL/1093634658}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Sereny93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Smith93, author = {Stuart T. Smith}, title = {Quadratic residues and x\({}^{\mbox{3}}\)+y\({}^{\mbox{3}}\)=z\({}^{\mbox{3}}\) in models of IE\({}_{\mbox{1}}\) and IE\({}_{\mbox{2}}\)}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {3}, pages = {420--438}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634730}, doi = {10.1305/NDJFL/1093634730}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Smith93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Sommers93, author = {Fred Sommers}, title = {The World, the Facts, and Primary Logic}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {2}, pages = {169--182}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634650}, doi = {10.1305/NDJFL/1093634650}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Sommers93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Taylor93, author = {R. Gregory Taylor}, title = {Zermelo, reductionism, and the philosophy of mathematics}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {4}, pages = {539--563}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093633905}, doi = {10.1305/NDJFL/1093633905}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Taylor93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Thom93, author = {Paul Thom}, title = {Apodeictic Ecthesis}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {2}, pages = {193--208}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634652}, doi = {10.1305/NDJFL/1093634652}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Thom93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Tuttas93, author = {Friedemann Tuttas}, title = {An Arithmetical Completeness Theorem for Pre-permutations}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {1}, pages = {84--89}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634565}, doi = {10.1305/NDJFL/1093634565}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Tuttas93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Tzouvaras93, author = {Athanassios Tzouvaras}, title = {Significant parts and identity of artifacts}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {3}, pages = {445--452}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634732}, doi = {10.1305/NDJFL/1093634732}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Tzouvaras93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Wagner93, author = {Frank O. Wagner}, title = {Stable Groups, Mostly of Finite Exponent}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {2}, pages = {183--192}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634651}, doi = {10.1305/NDJFL/1093634651}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Wagner93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/White93, author = {G. White}, title = {Are we finite?}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {3}, pages = {311--333}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634726}, doi = {10.1305/NDJFL/1093634726}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/White93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Williamson93, author = {Timothy Williamson}, title = {Some admissible rules in nonnormal modal systems}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {3}, pages = {378--400}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634728}, doi = {10.1305/NDJFL/1093634728}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Williamson93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Zheng93, author = {Xizhong Zheng}, title = {On the Maximality of Some Pairs of p-t Degrees}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {1}, pages = {29--35}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634561}, doi = {10.1305/NDJFL/1093634561}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Zheng93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.