A Sound and Complete Proof System for QPTL

&
In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 127-147 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

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 Sound and Complete Proof System for QPTL.Tim French & Mark Reynolds - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 127-147.
A calculus for first order discourse representation structures.Hans Kamp & Uwe Reyle - 1996 - Journal of Logic, Language and Information 5 (3-4):297-348.
Automated correspondence analysis for the binary extensions of the logic of paradox.Yaroslav Petrukhin & Vasily Shangin - 2017 - Review of Symbolic Logic 10 (4):756-781.
Completeness and partial soundness results for intersection and union typing for λ ¯ μ μ ̃.Steffen van Bakel - 2010 - Annals of Pure and Applied Logic 161 (11):1400-1430.
A proof system for contact relation algebras.Ivo Düntsch & Ewa Orłowska - 2000 - Journal of Philosophical Logic 29 (3):241-262.
Logics of rejection: two systems of natural deduction.Allard Tamminga - 1994 - Logique Et Analyse 146:169-208.
A sound and complete axiomatization for Dynamic Topological Logic.David Fernández-Duque - 2012 - Journal of Symbolic Logic 77 (3):947-969.
More on Empirical Negation.Michael De & Hitoshi Omori - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 114-133.
Goal-Driven Reasoning in First-Order Logic.Claes Strannegård - 2006 - In Björn Haglund & Helge Malmgren (eds.), Kvantifikator för en Dag. Essays dedicated to Dag Westerståhl on his sixtieth birthday. Philosophical Communications.
System BV is NP-complete.Ozan Kahramanoğulları - 2008 - Annals of Pure and Applied Logic 152 (1):107-121.
Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI.Joanna Golinska-Pilarek - 2007 - Journal of Applied Non-Classical Logics 17 (4):509–517.
Conservatively extending classical logic with transparent truth.David Ripley - 2012 - Review of Symbolic Logic 5 (2):354-378.
The single-conclusion proof logic and inference rules specification.Vladimir N. Krupski - 2001 - Annals of Pure and Applied Logic 113 (1-3):181-206.
A Complete System of Proof for Diagrammatic Languages.Thomas Russell Lippincott - 1994 - Dissertation, University of California, Berkeley
The logic of relative fundamentality.Fabrice Correia - 2018 - Synthese 198 (Suppl 6):1279-1301.

Analytics

Added to PP
2020-02-06

Downloads
4 (#1,595,600)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Temporal logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.
Temporal logic.Temporal Logic - forthcoming - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

No references found.

Add more references