Modalities in a sequence of normal noncontingency modal systems

&
Logique Et Analyse 12:225-227 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

  • This entry has no external links. Add one.
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

Completeness and Definability in the Logic of Noncontingency.Evgeni E. Zolin - 1999 - Notre Dame Journal of Formal Logic 40 (4):533-547.
Quantified modal logic: Non-normal worlds and propositional attitudes.Veikko Rantala - 1982 - Studia Logica 41 (1):41 - 65.
Simulation logic.Gerard Allwein, William L. Harrison & David Andrews - 2014 - Logic and Logical Philosophy 23 (3).
Collapsing Modalities.Lloyd Humberstone - 2009 - Notre Dame Journal of Formal Logic 50 (2):119-132.
A sequence of normal modal systems with non-contingency bases.Chris Mortensen - 1976 - Logique Et Analyse 19 (74):341-344.
On detachment-substitutional formalization in normal modal logics.Wieslaw Dziobiak - 1977 - Studia Logica 36 (3):165 - 171.
The Modal Logic of Agreement and Noncontingency.Lloyd Humberstone - 2002 - Notre Dame Journal of Formal Logic 43 (2):95-127.
Models for stronger normal intuitionistic modal logics.Kosta Došen - 1985 - Studia Logica 44 (1):39 - 70.
Cut-free sequent and tableau systems for propositional diodorean modal logics.Rajeev Goré - 1994 - Studia Logica 53 (3):433 - 457.
Modal Extensions of Sub-classical Logics for Recovering Classical Logic.Marcelo E. Coniglio & Newton M. Peron - 2013 - Logica Universalis 7 (1):71-86.
A formal theory of physical necessity.Marcin Tkaczyk - 2007 - Logic and Logical Philosophy 16 (1):65-83.
Logics of essence and accident.Joao Marcos - 2005 - Bulletin of the Section of Logic 34 (1):43-56.
The γ-admissibility of Relevant Modal Logics I — The Method of Normal Models.Takahiro Seki - 2011 - Studia Logica 97 (2):199-231.
Some paraconsistent sentential calculi.Jerzy J. Błaszczuk - 1984 - Studia Logica 43 (1-2):51 - 61.
Modal pure type systems.Tijn Borghuis - 1998 - Journal of Logic, Language and Information 7 (3):265-296.

Analytics

Added to PP
2014-02-11

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Ignorance of ignorance.Kit Fine - 2018 - Synthese 195 (9):4031-4045.
Minimal Non-contingency Logic.Steven T. Kuhn - 1995 - Notre Dame Journal of Formal Logic 36 (2):230-234.
Completeness and Definability in the Logic of Noncontingency.Evgeni E. Zolin - 1999 - Notre Dame Journal of Formal Logic 40 (4):533-547.
Natural deduction and arbitrary objects.Kit Fine - 1985 - Journal of Philosophical Logic 14 (1):57 - 107.
A Family of Kripke Contingency Logics.Jie Fan - 2020 - Theoria 86 (4):482-499.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references