Switch to: Citations

References in:

Hybrid Logic and its Proof-Theory

Dordrecht and New York: Springer (2010)

Add references

You must login to add references.
  1. The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38-39.
    Download  
     
    Export citation  
     
    Bookmark   290 citations  
  • Tableaus for many-valued modal logic.Melvin Fitting - 1995 - Studia Logica 55 (1):63 - 87.
    We continue a series of papers on a family of many-valued modal logics, a family whose Kripke semantics involves many-valued accessibility relations. Earlier papers in the series presented a motivation in terms of a multiple-expert semantics. They also proved completeness of sequent calculus formulations for the logics, formulations using a cut rule in an essential way. In this paper a novel cut-free tableau formulation is presented, and its completeness is proved.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Proof Methods for Modal and Intuitionistic Logics.Melvin Fitting - 1985 - Journal of Symbolic Logic 50 (3):855-856.
    Download  
     
    Export citation  
     
    Bookmark   138 citations  
  • Tonk, Plonk and Plink.Nuel Belnap - 1962 - Analysis 22 (6):130-134.
    Download  
     
    Export citation  
     
    Bookmark   205 citations