On Isomorphisms between Canonical Frames

In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 249-268 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

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

A Non-standard Injection Between Canonical Frames.Timothy Surendonk - 1996 - Logic Journal of the IGPL 4 (2):273-282.
Canonical Constructive Systems ⋆.Arnon Avron - unknown
Extending Łukasiewicz Logics with a Modality: Algebraic Approach to Relational Semantics.Georges Hansoul & Bruno Teheux - 2013 - Studia Logica 101 (3):505-545.
The McKinsey–Lemmon logic is barely canonical.Robert Goldblatt & Ian Hodkinson - 2007 - Australasian Journal of Logic 5:1-19.
Canonical formulas for wk4.Guram Bezhanishvili & Nick Bezhanishvili - 2012 - Review of Symbolic Logic 5 (4):731-762.
Second-order type isomorphisms through game semantics.Joachim de Lataillade - 2008 - Annals of Pure and Applied Logic 151 (2-3):115-150.
Completeness and Definability in the Logic of Noncontingency.Evgeni E. Zolin - 1999 - Notre Dame Journal of Formal Logic 40 (4):533-547.
Elementary canonical formulae: extending Sahlqvist’s theorem.Valentin Goranko & Dimiter Vakarelov - 2006 - Annals of Pure and Applied Logic 141 (1):180-217.
Canonicity for intensional logics with even axioms.Timothy J. Surendonk - 2001 - Journal of Symbolic Logic 66 (3):1141-1156.
Canonicity for Intensional Logics with Even Axioms.Timothy J. Surendonk - 2001 - Journal of Symbolic Logic 66 (3):1141-1156.
Erdős graphs resolve fine's canonicity problem.Robert Goldblatt, Ian Hodkinson & Yde Venema - 2004 - Bulletin of Symbolic Logic 10 (2):186-208.
Characterization and computation of canonical tight windows for Gabor frames.J. E. M. Janssen A. & Strohmer Thomas - unknown
First-order frames for orthomodular quantum logic.Chrysafis Hartonas - 2016 - Journal of Applied Non-Classical Logics 26 (1):69-80.
Grassmannian Frames with Applications to Coding and Communication.Strohmer Thomas & Heath Robert - unknown
A canonical topological model for extensions of K4.Christopher Steinsvold - 2010 - Studia Logica 94 (3):433 - 441.

Analytics

Added to PP
2018-02-17

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

No citations found.

Add more citations

References found in this work

No references found.

Add more references