Theorem provers with counter-models and xpe

Bulletin of the Section of Logic 30 (2):79-86 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

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

Constructing counter-models for modal logic K4 from refutation trees.Motohiko Mouri - 2002 - Bulletin of the Section of Logic 31 (2):81-90.
A Theorem On Verisimilitude.Chris Mortensen - 1978 - Bulletin of the Section of Logic 7 (1):34-40.
Hennessy–Milner theorem for interpretability logic.Mladen Vukovic - 2005 - Bulletin of the Section of Logic 34 (4):195-201.
Efficiently checking propositional refutations in HOL theorem provers.Tjark Weber & Hasan Amjad - 2009 - Journal of Applied Logic 7 (1):26-40.
Normalization theorem for P-W.Misao Nagayama - 1999 - Bulletin of the Section of Logic 28 (2):83-88.
Philosophical Consequences Of Godel's Theorem.Stanislaw Krajewski - 1983 - Bulletin of the Section of Logic 12 (4):157-161.
A theorem on definitionally complete logics.Ryszard Ladniak - 1986 - Bulletin of the Section of Logic 15 (1):29-31.
Philosophical consequences of Godel's theorem.Stanis law Krajewski - 1983 - Bulletin of the Section of Logic 12 (4):157-161.
Interpolation Theorem for intuitionistic S4.Branislav R. Boricic - 1991 - Bulletin of the Section of Logic 20 (1):2-6.
Algebraic proof of the separation theorem for the infinite-valued logic of Lukasiewicz.Barbara Wozniakowska - 1977 - Bulletin of the Section of Logic 6 (4):186-188.

Analytics

Added to PP
2014-01-19

Downloads
21 (#726,807)

6 months
21 (#166,473)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Constructing counter-models for modal logic K4 from refutation trees.Motohiko Mouri - 2002 - Bulletin of the Section of Logic 31 (2):81-90.

Add more citations

References found in this work

A cut-free Gentzen-type system for the modal logic S.Masahiko Sato - 1980 - Journal of Symbolic Logic 45 (1):67-84.

Add more references