Cut-free Sequent and Tableau Systems for Propositional Diodorean Modal Logics

Cached

Download Links

by Raje Ev Gor'e
Citations:20 - 3 self

Documents Related by Co-Citation

271 Proof Methods for Modal and Intuitionistic Logics, volume 169 of Synthese Library – M Fitting - 1983
710 An Introduction to Modal Logic – G E Hughes, M J Cresswell - 1972
125 Tableau Methods for Modal and Temporal Logics – Rajeev Goré - 1995
47 Modal tableau calculi and interpolation – Wolfgang Rautenberg - 1983
33 TABLEAUX: a general theorem prover for modal logics – L Catach - 1991
200 Logics of Time and Computation – R Goldblatt - 1987
20 Tableau methods of proof for modal logics – Melvin Fitting - 1972
123 Two-Dimensional Modal Logic – K Segerberg - 1973
12 A New Method for Bounding the Complexity of Modal Logics – David Basin, Seán Matthews, Luca Viganò - 1997
15 Labelled Modal Logics: Quantifiers – David Basin, Seán Matthews, Luca Viganò - 1998
148 Modal Logic – B Chellas - 1980
441 The formulae-as-types notion of construction – W A Howard - 1980
173 Labeled Deductive Systems – D Gabbay - 1991
125 Ideas and results in proof theory – Dag Prawitz - 1971
23 Intuitionistic Necessity Revisited – G. M. Bierman, V.C.V. de Paiva - 1996
88 Categorical Logic – Andrew M. Pitts - 1995
259 Investigations into logical deduction – G Gentzen - 1969
44 Modal nonmonotonic logics: ranges, characterization, computation – Wiktor Marek, Grigori F. Shvarts, Mirosław Truszczyński - 1991
14 First Order Modal Tableaux – M Fitting - 1988