The characterization Problem for the medium logic MP'&MF'

Journal of Symbolic Logic 55 (4):414 (1990)
  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,322

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

An intuitionistic characterization of classical logic.Ming Hsiung - 2008 - Journal of Philosophical Logic 37 (4):299 - 317.
A Mathematical Characterization of Quantum Gaussian Stochastic Evolution Schemes.D. Salgado, J. L. Sánchez-Gómez & M. Ferrero - 2006 - Foundations of Physics 36 (4):526-540.
Logical Hierarchies in PTIME.Lauri Hella - 1996 - Information And Computation 129 (1):1--19.
The problem Of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3‐Valued Logics.Walter A. Carnielli - 1987 - Mathematical Logic Quarterly 33 (1):19-29.
Axiomatic characterization of the AGM theory of belief revision in a temporal logic.Giacomo Bonanno - 2007 - Artificial Intelligence 171 (2-3):144-160.
Realism and Representation: The Case of Rembrandt's Hat.Michael Morris - 2015 - European Journal of Philosophy 23 (4):909-932.
Algebraic characterizations of various Beth definability properties.Eva Hoogland - 2000 - Studia Logica 65 (1):91-112.
Человек и информационная среда.Ekaterina Petrova - 2008 - Proceedings of the Xxii World Congress of Philosophy 35:71-77.
Weak compactness and no partial squares.John Krueger - 2011 - Journal of Symbolic Logic 76 (3):1035 - 1060.
A characterization of logical constants is possible.Gila Sher - 2003 - Theoria 18 (2):189-198.
Cylindric modal logic.Yde Venema - 1995 - Journal of Symbolic Logic 60 (2):591-623.
A new correctness criterion for cyclic proof nets.V. Michele Abrusci & Elena Maringelli - 1998 - Journal of Logic, Language and Information 7 (4):449-459.
Expressive Logics for Coalgebras via Terminal Sequence Induction.Dirk Pattinson - 2004 - Notre Dame Journal of Formal Logic 45 (1):19-33.
Elementary classes in basic modal logic.Holger Sturm - 2000 - Studia Logica 64 (2):193-213.

Analytics

Added to PP
2014-04-07

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?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references