B Seg Has The Finite Model Property

Bulletin of the Section of Logic 8 (3):154-158 (1979)
  Copy   BIBTEX

Abstract

In this paper I shall look at the application of the ltration technique to omnitemporal logic . The principal result of the paper will be that the system BSeg of [3] has the nite model property; but I shall also make a few remarks about the system B+ of [2]

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

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

The Finite Model Property for Various Fragments of Intuitionistic Linear Logic.Mitsuhiro Okada & Kazushige Terui - 1999 - Journal of Symbolic Logic 64 (2):790-802.
The finite model property for various fragments of intuitionistic linear logic.Mitsuhiro Okada & Kazushige Terui - 1999 - Journal of Symbolic Logic 64 (2):790-802.
Note on a paper in tense logic.R. A. Bull - 1969 - Journal of Symbolic Logic 34 (2):215-218.
Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality.Stepan I. Bashmakov & Tatyana Yu Zvereva - 2022 - Bulletin of the Section of Logic 51 (3):345-361.
On the extension of intuitionistic propositional logic with Kreisel-Putnam's and Scott's schemes.Pierluigi Minari - 1986 - Studia Logica 45 (1):55-68.
New Modification of the Subformula Property for a Modal Logic.Mitio Takano - 2020 - Bulletin of the Section of Logic 49 (3):255-268.
A Modified Subformula Property for the Modal Logic S4.2.Mitio Takano - 2019 - Bulletin of the Section of Logic 48 (1).
A finite model property for RMImin.Ai-ni Hsieh & James G. Raftery - 2006 - Mathematical Logic Quarterly 52 (6):602-612.
The Modelwise Interpolation Property of Semantic Logics.Zalán Gyenis, Zalán Molnár & Övge Öztürk - 2023 - Bulletin of the Section of Logic 52 (1):59-83.
Intermediate logics preserving admissible inference rules of heyting calculus.Vladimir V. Rybakov - 1993 - Mathematical Logic Quarterly 39 (1):403-415.

Analytics

Added to PP
2015-02-02

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

Max Cresswell
Victoria University of Wellington

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references