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

Other Versions

No versions found

Links

PhilArchive



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

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 Complete Proof System for a Dynamic Epistemic Logic Based upon Finite π-Calculus Processes.Eric Ufferman & Pedro Arturo' Hernández-Quiroz Góngora - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 470-482.
A Complete Proof System for a Dynamic Epistemic Logic Based upon Finite π-Calculus Processes.Eric Ufferman & Pedro Arturo' Hernández-Quiroz Góngora - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 470-482.
Constant Domain Quantified Modal Logics Without Boolean Negation.Greg Restall - 2005 - Australasian Journal of Logic 3:45-62.
Solovay-Type Theorems for Circular Definitions.Shawn Standefer - 2015 - Review of Symbolic Logic 8 (3):467-487.
A Natural Deduction Calculus for S4.2.Simone Martini, Andrea Masini & Margherita Zorzi - 2024 - Notre Dame Journal of Formal Logic 65 (2):127-150.
On the Proof Theory of Infinitary Modal Logic.Matteo Tesi - 2022 - Studia Logica 110 (6):1349-1380.
Normal Proofs and Tableaux for the Font-Rius Tetravalent Modal Logic.Marcelo E. Coniglio & Martin Figallo - forthcoming - Logic and Logical Philosophy:1-33.
Revising Carnap’s Semantic Conception of Modality.Toby Meadows - 2012 - Studia Logica 100 (3):497-515.
On the proof of Solovay's theorem.Dick de Jongh, Marc Jumelet & Franco Montagna - 1991 - Studia Logica 50 (1):51-69.

Analytics

Added to PP
2020-02-06

Downloads
9 (#1,523,857)

6 months
4 (#1,247,585)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

No references found.

Add more references