S5 without modal axioms

Notre Dame Journal of Formal Logic 20:593 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093882663

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,907

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Intricate Axioms as Interaction Axioms.Guillaume Aucher - 2015 - Studia Logica 103 (5):1035-1062.
Derivation rules as anti-axioms in modal logic.Yde Venema - 1993 - Journal of Symbolic Logic 58 (3):1003-1034.
Which classical correspondence is valid in intuitionistic modal logic?Kensuke Kojima - 2012 - Logic Journal of the IGPL 20 (1):331-348.
Model existence in non-compact modal logic.Yoshihito Tanaka - 2001 - Studia Logica 67 (1):61-73.
Fundamental axioms for preference relations.Bengt Hansson - 1968 - Synthese 18 (4):423 - 442.
Independence of the Dual Axiom in Modal $mathbf{K}$ with Primitive $lozenge$.Richmond Thomason - 2018 - Notre Dame Journal of Formal Logic 59 (3):381-385.
The γ-admissibility of Relevant Modal Logics II — The Method using Metavaluations.Takahiro Seki - 2011 - Studia Logica 97 (3):351-383.
Simulation logic.Gerard Allwein, William L. Harrison & David Andrews - 2014 - Logic and Logical Philosophy 23 (3).
Graded modalities. I.M. Fattorosi-Barnaba & F. Caro - 1985 - Studia Logica 44 (2):197 - 221.
Restricted Classical Modal Logics.Cezar Mortari - 2007 - Logic Journal of the IGPL 15 (5-6):741-757.
Graded Modalities. I.M. Fattorosi-Barnaba & F. De Caro - 1985 - Studia Logica 44 (2):197-221.
A Deep Inference System for the Modal Logic S5.Phiniki Stouppa - 2007 - Studia Logica 85 (2):199-214.
Hybrid logics with Sahlqvist axioms.Balder Cate, Maarten Marx & Petrúcio Viana - 2005 - Logic Journal of the IGPL 13 (3):293-300.
The Craig, Robinson and Beth theorems for the modal logic of closure spaces.Jan Plaza - 1986 - Bulletin of the Section of Logic 15 (1):15-18.
A Sahlqvist theorem for distributive modal logic.Mai Gehrke, Hideo Nagahashi & Yde Venema - 2004 - Annals of Pure and Applied Logic 131 (1-3):65-102.

Analytics

Added to PP
2010-08-24

Downloads
19 (#821,202)

6 months
3 (#1,037,180)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references