Multiple-conclusion Rules, Hypersequents Syntax and Step Frames

&
In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 54-73 (2014)
  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,438

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

Two types of multiple-conclusion systems.A. Avron - 1998 - Logic Journal of the IGPL 6 (5):695-718.
The bounded proof property via step algebras and step frames.Nick Bezhanishvili & Silvio Ghilardi - 2014 - Annals of Pure and Applied Logic 165 (12):1832-1863.
Admissibility in Positive Logics.Alex Citkin - 2017 - Logica Universalis 11 (4):421-437.
Acceptance, inference, and the multiple-conclusion sequent.Tor Sandqvist - 2012 - Synthese 187 (3):913-924.
Admissible Bases Via Stable Canonical Rules.Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi & Mamuka Jibladze - 2016 - Studia Logica 104 (2):317-341.
Harmony in Multiple-Conclusion Natural-Deduction.Nissim Francez - 2014 - Logica Universalis 8 (2):215-259.
Canonical Rules.Emil Jeřábek - 2009 - Journal of Symbolic Logic 74 (4):1171 - 1205.
Cognition needs syntax but not rules.Terence E. Horgan & John L. Tienson - 2006 - In Robert J. Stainton (ed.), Contemporary Debates in Cognitive Science. Oxford: Wiley-Blackwell. pp. 147--158.
The categoricity problem and truth-value gaps.Ian Rumfitt - 1997 - Analysis 57 (4):223–236.
Coconstrual and narrow syntax.Ken Safir - manuscript
The Role of Rules.Ota Weinberger - 1988 - Ratio Juris 1 (3):224-240.
A Non-standard Injection Between Canonical Frames.Timothy Surendonk - 1996 - Logic Journal of the IGPL 4 (2):273-282.
Tonk- A Full Mathematical Solution.Arnon Avron - unknown
Processing is shaped by multiple tasks: There is more to rules and similarity than rules-to-similarity.Gary Lupyan & Gautam Vallabha - 2005 - Behavioral and Brain Sciences 28 (1):28-28.
Grassmannian Frames with Applications to Coding and Communication.Strohmer Thomas & Heath Robert - unknown

Analytics

Added to PP
2018-02-24

Downloads
13 (#1,017,336)

6 months
3 (#992,575)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nick Bezhanishvili
University of Amsterdam

Citations of this work

Add more citations

References found in this work

Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
The method of hypersequents in the proof theory of propositional non-classical logics.Arnon Avron - 1996 - In Wilfrid Hodges (ed.), Logic: Foundations to Applications. Oxford: pp. 1-32.
Topology and duality in modal logic.Giovanni Sambin & Virginia Vaccaro - 1988 - Annals of Pure and Applied Logic 37 (3):249-296.
Tools and Techniques in Modal Logic.Guram Bezhanishvili - 2001 - Bulletin of Symbolic Logic 7 (2):278-279.

View all 9 references / Add more references