A Model‐Theoretic Study of Some Systems Containing S 3

Mathematical Logic Quarterly 19 (3-6):75-82 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19730190304

Links

PhilArchive



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

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

A Model‐Theoretic Study of Some Systems Containing S3.R. I. Goldblatt - 1973 - Mathematical Logic Quarterly 19 (3‐6):75-82.
An order-theoretic analysis of interpretations among propositional deductive systems.Ciro Russo - 2013 - Annals of Pure and Applied Logic 164 (2):112-130.
A model for science kinematics.Wolfgang Balzer, Bernhard Lauth & Gerhard Zoubek - 1993 - Studia Logica 52 (4):519 - 548.
Model checking techniqes for the analysis of reactive systems.Stephan Merz - 2002 - Synthese 133 (1-2):173 - 201.
Saturated models of universal theories.Jeremy Avigad - 2002 - Annals of Pure and Applied Logic 118 (3):219-234.
A Fully Model-Theoretic Semantics for Model-Preference Default Systems', Istituto di Elaborazione dell'Informazione, Pisa.F. Sebastiani - forthcoming - Studia Logica.
Models and modality.Patricia A. Blanchette - 2000 - Synthese 124 (1-2):45-72.
The model-theoretic ordinal analysis of theories of predicative strength.Jeremy Avigad & Richard Sommer - 1999 - Journal of Symbolic Logic 64 (1):327-349.
Edge distribution and density in the characteristic sequence.M. E. Malliaris - 2010 - Annals of Pure and Applied Logic 162 (1):1-19.
Contractions of Closure Systems.Stephen Pollard & Norman M. Martin - 1994 - Notre Dame Journal of Formal Logic 35 (1):108-115.
The structure of logical consequence : proof-theoretic conceptions.Ole T. Hjortland - unknown
Ramseyfication and theoretical content.Joseph Melia & Juha Saatsi - 2006 - British Journal for the Philosophy of Science 57 (3):561-585.
Schlanke Körper (Slim fields).Markus Junker & Jochen Koenigsmann - 2010 - Journal of Symbolic Logic 75 (2):481-500.
Concepts of Logical Consequence.Darcy Allen Cutler - 1997 - Dissertation, The University of Western Ontario (Canada)
A proof–theoretic study of the correspondence of hybrid logic and classical logic.H. Kushida & M. Okada - 2006 - Journal of Logic, Language and Information 16 (1):35-61.

Analytics

Added to PP
2016-02-04

Downloads
21 (#734,423)

6 months
1 (#1,464,097)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

C. I. Lewis’s Intensional Semantics.Edwin Mares - 2023 - Notre Dame Journal of Formal Logic 64 (3):329-352.

Add more citations

References found in this work

No references found.

Add more references