![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/ndjfl/ndjfl25.bht:"
@article{DBLP:journals/ndjfl/Barker84, author = {Evelyn M. Barker}, title = {Unneeded surgery on Aristotle's \emph{Prior analytics}}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {4}, pages = {323--331}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870684}, doi = {10.1305/NDJFL/1093870684}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Barker84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Bellissima84, author = {Fabio Bellissima}, title = {On the relationship between one-point frames and degrees of unsatisfiability of modal formulas}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {2}, pages = {117--126}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870572}, doi = {10.1305/NDJFL/1093870572}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Bellissima84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Bencivenga84, author = {Ermanno Bencivenga}, title = {Finitary consistency of a free arithmetic}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {3}, pages = {224--226}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870628}, doi = {10.1305/NDJFL/1093870628}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Bencivenga84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Benthem84, author = {Johan van Benthem}, title = {Tense logic and time}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {1}, pages = {1--16}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870515}, doi = {10.1305/NDJFL/1093870515}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Benthem84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Bernardi84, author = {Claudio Bernardi}, title = {A shorter proof of a recent result by R. Di Paola}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {4}, pages = {390--393}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870691}, doi = {10.1305/NDJFL/1093870691}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Bernardi84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Bonevac84, author = {Daniel Bonevac}, title = {Skolem fragments}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {3}, pages = {227--232}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870629}, doi = {10.1305/NDJFL/1093870629}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Bonevac84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Boolos84, author = {George Boolos}, title = {Trees and finite satisfiability: proof of a conjecture of Burgess}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {3}, pages = {193--197}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870624}, doi = {10.1305/NDJFL/1093870624}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Boolos84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Brown84, author = {Mark A. Brown}, title = {Generalized quantifiers and the square of opposition}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {4}, pages = {303--322}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870683}, doi = {10.1305/NDJFL/1093870683}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Brown84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Burd84, author = {Barry Burd}, title = {Decomposable collections of sets}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {1}, pages = {17--26}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870516}, doi = {10.1305/NDJFL/1093870516}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Burd84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Burgess84, author = {John P. Burgess}, title = {Read on relevance: a rejoinder}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {3}, pages = {217--223}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870627}, doi = {10.1305/NDJFL/1093870627}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Burgess84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Call84, author = {Richard L. Call}, title = {Constructing sequent rules for generalized propositional logics}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {2}, pages = {171--178}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870576}, doi = {10.1305/NDJFL/1093870576}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Call84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Dawson84, author = {John W. Dawson}, title = {Addenda and corrigenda to: "The published work of Kurt G{\"{o}}del: an annotated bibliography"}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {3}, pages = {283--287}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870634}, doi = {10.1305/NDJFL/1093870634}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Dawson84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Englebretsen84, author = {George Englebretsen}, title = {Opposition}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {1}, pages = {79--85}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870520}, doi = {10.1305/NDJFL/1093870520}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Englebretsen84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Goddard84, author = {Leonard Goddard}, title = {The nature of reflexive paradoxes. {II}}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {1}, pages = {27--58}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870517}, doi = {10.1305/NDJFL/1093870517}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Goddard84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Hailperin84, author = {Theodore Hailperin}, title = {Probability logic}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {3}, pages = {198--212}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870625}, doi = {10.1305/NDJFL/1093870625}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Hailperin84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/HuglyS84, author = {Philip Hugly and Charles Sayward}, title = {Do we need quantification?}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {4}, pages = {289--302}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870682}, doi = {10.1305/NDJFL/1093870682}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/HuglyS84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Kabzinski84, author = {Jacek K. Kabzinski}, title = {An axiomatization of the equivalential fragment of the three-valued logic of Lukasiewicz}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {4}, pages = {354--356}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870687}, doi = {10.1305/NDJFL/1093870687}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Kabzinski84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Kaufmann84, author = {Matt Kaufmann}, title = {Some remarks on equivalence in infinitary and stationary logic}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {4}, pages = {383--389}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870690}, doi = {10.1305/NDJFL/1093870690}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Kaufmann84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/KrynickiLV84, author = {Michal Krynicki and Alistair H. Lachlan and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Vector spaces and binary quantifiers}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {1}, pages = {72--78}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870519}, doi = {10.1305/NDJFL/1093870519}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/KrynickiLV84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Lindstrom84, author = {Per Lindstr{\"{o}}m}, title = {On certain lattices of degrees of interpretability}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {2}, pages = {127--140}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870573}, doi = {10.1305/NDJFL/1093870573}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Lindstrom84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/MancaS84, author = {Vincenzo Manca and Antonino Salibra}, title = {First-order theories as many-sorted algebras}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {1}, pages = {86--94}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870521}, doi = {10.1305/NDJFL/1093870521}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ndjfl/MancaS84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Marker84, author = {David Marker}, title = {A model theoretic proof of Feferman's preservation theorem}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {3}, pages = {213--216}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870626}, doi = {10.1305/NDJFL/1093870626}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Marker84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Martin84, author = {John Neil Martin}, title = {Epistemic semantics for classical and intuitionistic logic}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {2}, pages = {105--116}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870571}, doi = {10.1305/NDJFL/1093870571}, timestamp = {Mon, 11 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Martin84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Montagna84, author = {Franco Montagna}, title = {The predicate modal logic of provability}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {2}, pages = {179--189}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870577}, doi = {10.1305/NDJFL/1093870577}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Montagna84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Ohama84, author = {Shigeo Ohama}, title = {Conjunctive normal forms and weak modal logics without the axiom of necessity}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {2}, pages = {141--151}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870574}, doi = {10.1305/NDJFL/1093870574}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Ohama84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Rantala84, author = {Veikko Rantala}, title = {Facts and the choice of logical foundations}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {4}, pages = {347--353}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870686}, doi = {10.1305/NDJFL/1093870686}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Rantala84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/RybakR84, author = {John Rybak and Janet Rybak}, title = {Mechanizing logic. I. Map logic extended formally to relational arguments}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {3}, pages = {250--264}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870632}, doi = {10.1305/NDJFL/1093870632}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/RybakR84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/RybakR84a, author = {Janet Rybak and John Rybak}, title = {Mechanizing logic. {II.} Automated map logic method for relational arguments on paper and by computer}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {3}, pages = {265--282}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870633}, doi = {10.1305/NDJFL/1093870633}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/RybakR84a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Shelah84, author = {Saharon Shelah}, title = {A pair of nonisomorphic {\(\equiv\)}\({}_{\mbox{{\(\infty\)}{\(\lambda\)}}}\) models of power {\(\lambda\)} for {\(\lambda\)} singular with {\(\lambda\)}\({}_{\mbox{{\(\omega\)}}}\)={\(\lambda\)}}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {2}, pages = {97--104}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870570}, doi = {10.1305/NDJFL/1093870570}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Shelah84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Sweet84, author = {Albert M. Sweet}, title = {A pragmatic theory of locally standard grammar}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {4}, pages = {364--382}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870689}, doi = {10.1305/NDJFL/1093870689}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Sweet84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Tapscott84, author = {Bangs L. Tapscott}, title = {Correcting the tableau procedure for {S4}}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {3}, pages = {241--249}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870631}, doi = {10.1305/NDJFL/1093870631}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Tapscott84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Wagner84, author = {Carl G. Wagner}, title = {Aggregating subjective probabilities: some limitative theorems}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {3}, pages = {233--240}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870630}, doi = {10.1305/NDJFL/1093870630}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Wagner84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Westerstahl84, author = {Dag Westerst{\aa}hl}, title = {Some results on quantifiers}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {2}, pages = {152--170}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870575}, doi = {10.1305/NDJFL/1093870575}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Westerstahl84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/White84, author = {Michael J. White}, title = {The necessity of the past and modal-tense logic incompleteness}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {1}, pages = {59--71}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870518}, doi = {10.1305/NDJFL/1093870518}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/White84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Yasuhara84, author = {Mitsuru Yasuhara}, title = {Extensionality in Bernays set theory}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {4}, pages = {357--363}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870688}, doi = {10.1305/NDJFL/1093870688}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Yasuhara84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Zanardo84, author = {Alberto Zanardo}, title = {Individual concepts as propositional variables in ML\({}^{\mbox{{\(\nu\)}+1}}\)}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {4}, pages = {332--346}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870685}, doi = {10.1305/NDJFL/1093870685}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Zanardo84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.dagstuhl.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.