Filtration Safe Operations on Frames

, &
In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 333-352 (2014)
  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

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

Program constructions that are safe for bisimulation.Johan Van Benthem - 1998 - Studia Logica 60 (2):311-330.
Polytime, combinatory logic and positive safe induction.Cantini Andrea - 2002 - Archive for Mathematical Logic 41 (2):169-189.
Modal definability of first-order formulas with free variables and query answering.Stanislav Kikot & Evgeny Zolin - 2013 - Journal of Applied Logic 11 (2):190-216.
Bimodal Logics with a “Weakly Connected” Component without the Finite Model Property.Agi Kurucz - 2017 - Notre Dame Journal of Formal Logic 58 (2):287-299.
Nonmonotonic inference operations.Michael Freund & Daniel Lehmann - 1993 - Logic Journal of the IGPL 1 (1):23-68.
Completeness and Definability in the Logic of Noncontingency.Evgeni E. Zolin - 1999 - Notre Dame Journal of Formal Logic 40 (4):533-547.
Grassmannian Frames with Applications to Coding and Communication.Strohmer Thomas & Heath Robert - unknown
Decidability of Logics Based on an Indeterministic Metric Tense Logic.Yan Zhang & Kai Li - 2015 - Studia Logica 103 (6):1123-1162.
Safe formulas in the general theory of stable models (preliminary report).Vladimir Lifschitz - unknown
Safe Formulas in the General Theory of Stable Models (Preliminary Report).Joohyung Lee & Vladimir Lifschitz - unknown
Nonmonotonic reasoning: From finitary relations to infinitary inference operations.Michael Freund & Daniel Lehmann - 1994 - Studia Logica 53 (2):161 - 201.
Barwise's information frames and modal logics.Vladimir V. Rybakov - 2003 - Archive for Mathematical Logic 42 (3):261-277.
A partially ordered extention of the integers.George Epstein & Helena Rasiowa - 1995 - Studia Logica 54 (3):303 - 332.
On Some Compatible Operations on Heyting Algebras.Rodolfo Cristian Ertola Biraben & Hernán Javier San Martín - 2011 - Studia Logica 98 (3):331-345.
Frames, concepts, and conceptual fields.Lawrence Barsalou - 1992 - In E. Kittay & A. Lehrer (eds.), Frames, Fields, and Contrasts: New Essays in Semantic and Lexical Organization. Erlbaum. pp. 21-74.

Analytics

Added to PP
2018-02-24

Downloads
5 (#1,514,558)

6 months
1 (#1,516,429)

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

Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
Products of modal logics, part 1.D. Gabbay & V. Shehtman - 1998 - Logic Journal of the IGPL 6 (1):73-146.
On languages with two variables.Michael Mortimer - 1975 - Mathematical Logic Quarterly 21 (1):135-140.
Tools and Techniques in Modal Logic.Guram Bezhanishvili - 2001 - Bulletin of Symbolic Logic 7 (2):278-279.

View all 12 references / Add more references