Skip to main content
eScholarship
Open Access Publications from the University of California
Refine Search

Group in Logic and the Methodology of Science

Working Papers bannerUC Berkeley
Menu
  • Unit Home
  • About
    • About Us
  • Contact Us
  • Policies
RSS
  • eScholarship
  • UC Berkeley
  • Group in Logic and the Methodology of Science
  • Working Papers
Download PDF
  • Main
    • PDF
Share
EmailFacebook

One Modal Logic to Rule Them All? (Extended Technical Report)

2018
  • Holliday, Wesley Halcrow;
  • Litak, Tadeusz
Creative Commons 'BY-NC-ND' version 4.0 license


Jump To

  • Article
    • Introduction
    • Language and semantics
    • Reduction of SOPML to GQM
    • Interlude: ``Kaplan's paradox''
    • Axiomatization
    • Conservativity and modal logics as GQM theories
    • Prenex forms
    • Completeness via FO-theory of discriminator BAEs
    • Conclusions
    • Acknowledgement
    • References
    • Syntactic Derivations
    • Proof of Theorem 8.4.(ii)
  • Metrics
  • Author & Article Info

Related Items

  • The Orthologic of Epistemic Modals

    • Holliday, Wesley Halcrow;
    • Mandelkern, Matthew
  • A partial-state space model of unawareness

    • Holliday, Wesley Halcrow
  • B-Frame Duality

    • Massas, Guillaume
  • Completeness for an Intuitionistic Modal Logic of Vagueness

    • Christensen, Ahmee
  • A fundamental non-classical logic

    • Holliday, Wesley Halcrow
Top
  • Home
  • About eScholarship
  • Campus Sites
  • UC Open Access Policy
  • eScholarship Publishing
  • Accessibility
  • Privacy Statement
  • Site Policies
  • Terms of Use
  • Admin Login
  • Help
eScholarship, University of California
Powered by the
California Digital Library
Copyright © 2017
The Regents of the University of California