Krister Segerberg. Decidability of S4.1. Theoria , vol. 34 , pp. 7–20

Journal of Symbolic Logic 39 (3):611-612 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272925

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,931

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

Decidability of S4.1.Krister Segerberg - 1968 - Theoria 34 (1):7-20.
Decidability of S4.1.Krister Segerberg - 1968 - Theoria 34 (1):7-20.
Decidability of four modal logics.Krister Segerberg - 1968 - Theoria 34 (1):21-25.
Decidability of S4.1.Kit Fine - 1974 - Journal of Symbolic Logic 39 (3):611-612.
A note on the logic of elsewhere.Krister Segerberg - 1980 - Theoria 46 (2-3):183-187.
On the Logic of “To-morrow”.Krister Segerberg - 1967 - Theoria 33 (1):45-52.
Three recipes for revision.Krister Segerberg - 1996 - Theoria 62 (1-2):62-73.
A contribution to nonsense-logics.Krister Segerberg - 1965 - Theoria 31 (3):199-217.
Modal logics with linear alternative relations.Krister Segerberg - 1970 - Theoria 36 (3):301-322.
Propositional Logics Related to Heyting's and Johansson's.Krister Segerberg - 1968 - Theoria 34 (1):26-61.
Some Modal Logics based on a Three-valued Logic.Krister Segerberg - 1967 - Theoria 33 (1):53-71.
Intentions, actions and routines: A problem in Krister Segerberg's theory of action.Dag Elgesem - 1990 - Synthese 85 (1):153 - 177.
Modal Logics in the Vicinity of S.Brian F. Chellas & Krister Segerberg - 1996 - Notre Dame Journal of Formal Logic 37 (1):1-24.
Krister Segerberg on Logic of Actions.Robert Trypuz (ed.) - 2013 - Dordrecht, Netherland: Springer Verlag.
Routines.Krister Segerberg - 1985 - Synthese 65 (2):185 - 210.

Analytics

Added to PP
2013-11-03

Downloads
27 (#608,062)

6 months
1 (#1,512,999)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Kit Fine
New York University

Citations of this work

On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.

Add more citations

References found in this work

No references found.

Add more references