On Binary Computation Structures

Bernhard Heinemann

Mathematical Logic Quarterly 43 (2):203-215 (1997) Copy BIBT_EX

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Revision history

Categories

Areas of Mathematics in Philosophy of Mathematics

Keywords

Binary computation trees Modal logic Reasoning about knowledge

Reprint years

DOI

10.1002/malq.19970430205

Other Versions

No versions found

Links

PhilArchive

Upload a copy of this work Papers currently archived: 101,423

External links

From the Publisher via CrossRef (no proxy)

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Sign in / register and customize your OpenURL resolver
Configure custom resolver

My notes

Sign in to use this feature

Similar books and articles

Linguistics, Logic and Finite Trees.Patrick Blackburn & Wilfried Meyer-Viol - 1994 - Logic Journal of the IGPL 2 (1):3-29.

Binary modal logic and unary modal logic.Dick de Jongh & Fatemeh Shirmohammadzadeh Maleki - forthcoming - Logic Journal of the IGPL.

Bernhard Heinemann A Modal Logic for.Discretely Descending - 2004 - Studia Logica 76:67-90.

Ordinal preference representations.Niall M. Fraser - 1994 - Theory and Decision 36 (1):45-67.

The Nonexistence of a Binary Homogeneous Pseudoplane.Simon Thomas - 1998 - Mathematical Logic Quarterly 44 (1):135-137.

Intervals of Binary Relations.David W. H. Gillam - 1979 - Mathematical Logic Quarterly 25 (3‐6):57-60.

Intervals of Binary Relations.David W. H. Gillam - 1979 - Mathematical Logic Quarterly 25 (3-6):57-60.

The Theory of Superatomic Boolean Algebras in the Logic With the Binary Ramsey Quantifier.Burkhard Molzan - 1982 - Mathematical Logic Quarterly 28 (25‐26):365-376.

Proof Systems for Reasoning about Computation Errors.Arnon Avron & Beata Konikowska - 2009 - Studia Logica 91 (2):273-293.

Weakly binary expansions of dense meet‐trees.Rosario Mennuni - 2022 - Mathematical Logic Quarterly 68 (1):32-47.

Analytics

Added to PP
2013-12-01

Downloads
11 (#1,427,285)

6 months
4 (#1,269,568)

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

Logics of Time and Computation.Robert Goldblatt - 1992 - CSLI Publications.

Logics of Time and Computation.Robert Goldblatt - 1990 - Studia Logica 49 (2):284-286.

Add more references