Relational model systems: The craft of logic

Synthese 60 (2):225 - 252 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00485462

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,809

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 Relational Model For Temporal Logic.B. von Karger & R. Berghammer - 1998 - Logic Journal of the IGPL 6 (2):157-173.
A Formal Model of Primitive Aspects of Cognition and Learning in Cell Biology as a Generalizable Case Study of Peircean Logic.Timothy M. Rogers - 2024 - Sign Systems Studies 52 (1-2):8-48.
A generalisation of the concept of a relational model for modal logic.David Makinson - 1970 - Theoria 36 (3):331-335.
Relational model systems.Raphael Stern - 1983 - In Alex Orenstein & Rafael Stern (eds.), Developments in Semantics. Haven. pp. 2--114.
Model checking techniqes for the analysis of reactive systems.Stephan Merz - 2002 - Synthese 133 (1-2):173 - 201.
Exploring the Landscape of Relational Syllogistic Logics.Alex Kruckman & Lawrence S. Moss - 2021 - Review of Symbolic Logic 14 (3):728-765.
Logics of relational systems.Tadeusz Prucnal - 1990 - Bulletin of the Section of Logic 19 (2):58-60.
Universal Relational Systems.B. Jonsson - 1967 - Journal of Symbolic Logic 32 (4):534-535.
Relational dual tableaux for interval temporal logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):251–277.

Analytics

Added to PP
2009-01-28

Downloads
74 (#282,371)

6 months
11 (#337,502)

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

Tense Logic.Robert P. McArthur - 1976 - Dordrecht and Boston: Reidel.
Tense Logic.Robert P. Mcarthur - 1976 - Journal of Symbolic Logic 45 (1):184-185.
.Terryl L. Givens - 2009 - Oxford University Press.

Add more references