Mares, Edwin C. I. Lewis’s intensional semantics. (English) Zbl 07787872 Notre Dame J. Formal Logic 64, No. 3, 329-352 (2023). MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{E. Mares}, Notre Dame J. Formal Logic 64, No. 3, 329--352 (2023; Zbl 07787872) Full Text: DOI
van der Giessen, Iris; Iemhoff, Rosalie Sequent calculi for intuitionistic Gödel-Löb logic. (English) Zbl 1490.03013 Notre Dame J. Formal Logic 62, No. 2, 221-246 (2021). Reviewer: Emil Jeřábek (Praha) MSC: 03B45 03F05 03B20 03F45 PDFBibTeX XMLCite \textit{I. van der Giessen} and \textit{R. Iemhoff}, Notre Dame J. Formal Logic 62, No. 2, 221--246 (2021; Zbl 1490.03013) Full Text: DOI
Hill, Brian; Poggiolesi, Francesca An analytic calculus for the intuitionistic logic of proofs. (English) Zbl 07120746 Notre Dame J. Formal Logic 60, No. 3, 353-393 (2019). MSC: 03F05 03B45 03B20 PDFBibTeX XMLCite \textit{B. Hill} and \textit{F. Poggiolesi}, Notre Dame J. Formal Logic 60, No. 3, 353--393 (2019; Zbl 07120746) Full Text: DOI Euclid HAL
Ressler, Mark Thoroughly relativistic perspectives. (English) Zbl 1248.03038 Notre Dame J. Formal Logic 53, No. 1, 89-112 (2012). MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{M. Ressler}, Notre Dame J. Formal Logic 53, No. 1, 89--112 (2012; Zbl 1248.03038) Full Text: DOI Euclid
White, Graham Causality, modality, and explanation. (English) Zbl 1152.03011 Notre Dame J. Formal Logic 49, No. 3, 313-343 (2008). MSC: 03A05 03B45 03B60 03F05 68T27 91E10 PDFBibTeX XMLCite \textit{G. White}, Notre Dame J. Formal Logic 49, No. 3, 313--343 (2008; Zbl 1152.03011) Full Text: DOI arXiv
Williamson, Timothy Continuum many maximal consistent normal bimodal logics with inverses. (English) Zbl 0968.03027 Notre Dame J. Formal Logic 39, No. 1, 128-134 (1998). MSC: 03B45 PDFBibTeX XMLCite \textit{T. Williamson}, Notre Dame J. Formal Logic 39, No. 1, 128--134 (1998; Zbl 0968.03027) Full Text: DOI
Marx, Maarten Multi-dimensional semantics for modal logics. (English) Zbl 0864.03013 Notre Dame J. Formal Logic 37, No. 1, 25-34 (1996). Reviewer: D.Skvortsov (Moskva) MSC: 03B45 PDFBibTeX XMLCite \textit{M. Marx}, Notre Dame J. Formal Logic 37, No. 1, 25--34 (1996; Zbl 0864.03013) Full Text: DOI
Skura, Tomasz Syntactic refutations against finite models in modal logic. (English) Zbl 0830.03007 Notre Dame J. Formal Logic 35, No. 4, 595-605 (1994). MSC: 03B45 03C13 PDFBibTeX XMLCite \textit{T. Skura}, Notre Dame J. Formal Logic 35, No. 4, 595--605 (1994; Zbl 0830.03007) Full Text: DOI
Cerrato, Claudio Natural deduction based upon strict implication for normal modal logics. (English) Zbl 0831.03006 Notre Dame J. Formal Logic 35, No. 4, 471-495 (1994). MSC: 03B45 PDFBibTeX XMLCite \textit{C. Cerrato}, Notre Dame J. Formal Logic 35, No. 4, 471--495 (1994; Zbl 0831.03006) Full Text: DOI
Cerrato, Claudio Cut-free modal sequents for normal modal logics. (English) Zbl 0795.03023 Notre Dame J. Formal Logic 34, No. 4, 564-582 (1993). MSC: 03B45 03F05 PDFBibTeX XMLCite \textit{C. Cerrato}, Notre Dame J. Formal Logic 34, No. 4, 564--582 (1993; Zbl 0795.03023) Full Text: DOI
Gent, Ian Philip A sequent- or tableau-style system for Lewis’s counterfactual logic VC. (English) Zbl 0762.03010 Notre Dame J. Formal Logic 33, No. 3, 369-382 (1992). Reviewer: H.C.M.de Swart (Tilburg) MSC: 03B45 03F05 PDFBibTeX XMLCite \textit{I. P. Gent}, Notre Dame J. Formal Logic 33, No. 3, 369--382 (1992; Zbl 0762.03010) Full Text: DOI
Takano, Mitio Cut-free systems for three-valued modal logics. (English) Zbl 0778.03005 Notre Dame J. Formal Logic 33, No. 3, 359-368 (1992). MSC: 03B45 03B50 03F05 PDFBibTeX XMLCite \textit{M. Takano}, Notre Dame J. Formal Logic 33, No. 3, 359--368 (1992; Zbl 0778.03005) Full Text: DOI
Hawthorn, John Natural deduction in normal modal logic. (English) Zbl 0737.03004 Notre Dame J. Formal Logic 31, No. 2, 263-273 (1990). MSC: 03B45 PDFBibTeX XMLCite \textit{J. Hawthorn}, Notre Dame J. Formal Logic 31, No. 2, 263--273 (1990; Zbl 0737.03004) Full Text: DOI
Belnap, Nuel Linear logic displayed. (English) Zbl 0706.03043 Notre Dame J. Formal Logic 31, No. 1, 14-25 (1990). Reviewer: L.Goble MSC: 03F05 03B70 03B45 PDFBibTeX XMLCite \textit{N. Belnap}, Notre Dame J. Formal Logic 31, No. 1, 14--25 (1990; Zbl 0706.03043) Full Text: DOI
Tennant, Neil Truth table logic, with a survey of embeddability results. (English) Zbl 0698.03036 Notre Dame J. Formal Logic 30, No. 3, 459-484 (1989). Reviewer: G.E.Mints MSC: 03F05 03B45 PDFBibTeX XMLCite \textit{N. Tennant}, Notre Dame J. Formal Logic 30, No. 3, 459--484 (1989; Zbl 0698.03036) Full Text: DOI
Tapscott, Bangs L. A simplified natural deduction approach to certain modal systems. (English) Zbl 0636.03007 Notre Dame J. Formal Logic 28, 371-384 (1987). Reviewer: L.F.Goble MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{B. L. Tapscott}, Notre Dame J. Formal Logic 28, 371--384 (1987; Zbl 0636.03007) Full Text: DOI
Segerberg, Krister Modal logics with functional alternative relations. (English) Zbl 0631.03008 Notre Dame J. Formal Logic 27, 504-522 (1986). Reviewer: G.Forbes MSC: 03B45 PDFBibTeX XMLCite \textit{K. Segerberg}, Notre Dame J. Formal Logic 27, 504--522 (1986; Zbl 0631.03008) Full Text: DOI
Bellissima, Fabio On the relationship between one-point frames and degrees of unsatisfiability of modal formulas. (English) Zbl 0563.03007 Notre Dame J. Formal Logic 25, 117-126 (1984). Reviewer: G. E. Mints (Leningrad) MSC: 03B45 PDFBibTeX XMLCite \textit{F. Bellissima}, Notre Dame J. Formal Logic 25, 117--126 (1984; Zbl 0563.03007) Full Text: DOI
Tapscott, Bangs L. Correcting the tableau procedure for S4. (English) Zbl 0556.03016 Notre Dame J. Formal Logic 25, 241-249 (1984). Reviewer: S.Miura MSC: 03B45 PDFBibTeX XMLCite \textit{B. L. Tapscott}, Notre Dame J. Formal Logic 25, 241--249 (1984; Zbl 0556.03016) Full Text: DOI
Ōhama, Shigeo Conjunctive normal forms and weak modal logics without the axiom of necessity. (English) Zbl 0556.03015 Notre Dame J. Formal Logic 25, 141-151 (1984). Reviewer: S.Miura MSC: 03B45 PDFBibTeX XMLCite \textit{S. Ōhama}, Notre Dame J. Formal Logic 25, 141--151 (1984; Zbl 0556.03015) Full Text: DOI
Cresswell, M. J. KM and the finite model property. (English) Zbl 0488.03009 Notre Dame J. Formal Logic 24, 323-327 (1983). MSC: 03B45 PDFBibTeX XMLCite \textit{M. J. Cresswell}, Notre Dame J. Formal Logic 24, 323--327 (1983; Zbl 0488.03009) Full Text: DOI
van Benthem, J. F. A. K.; Humberstone, I. L. Hallden-completeness by gluing of Kripke frames. (English) Zbl 0487.03008 Notre Dame J. Formal Logic 24, 426-430 (1983). MSC: 03B45 PDFBibTeX XMLCite \textit{J. F. A. K. van Benthem} and \textit{I. L. Humberstone}, Notre Dame J. Formal Logic 24, 426--430 (1983; Zbl 0487.03008) Full Text: DOI
Vander Nat, Arnold Beyond non-normal possible worlds. (English) Zbl 0368.02022 Notre Dame J. Formal Logic 20, 631-635 (1979). MSC: 03B45 03C99 03C60 03G05 PDFBibTeX XMLCite \textit{A. Vander Nat}, Notre Dame J. Formal Logic 20, 631--635 (1979; Zbl 0368.02022) Full Text: DOI
Zeman, J. Jay Normal implications, bounded posets, and the existence of meets. (English) Zbl 0299.02073 Notre Dame J. Formal Logic 20, 685-688 (1979). MSC: 03B45 03G10 06C15 PDFBibTeX XMLCite \textit{J. J. Zeman}, Notre Dame J. Formal Logic 20, 685--688 (1979; Zbl 0299.02073) Full Text: DOI