- Basic proof theory.A. S. Troelstra - 2000 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.details
|
|
Basic conditional logic.Brian F. Chellas - 1975 - Journal of Philosophical Logic 4 (2):133 - 153.details
|
|
Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.details
|
|
A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Second edition of jsl lxiii 1605. Cambridge tracts in theoretical computer science, no. 43. cambridge university press, cambridge, new York, etc., 2000, XII + 417 pp.Roy Dyckhoff - 2001 - Bulletin of Symbolic Logic 7 (2):280-280.details
|
|
A Gentzen- or Beth-Type System, a Practical Decision Procedure and a Constructive Completeness Proof for the Counterfactual Logics VC and VCS.H. C. M. De Swart - 1983 - Journal of Symbolic Logic 48 (1):1 - 20.details
|
|
Counterfactuals. [REVIEW]William Parry - 1973 - Journal of Symbolic Logic 44 (2):278-281.details
|
|
The Intransitivity of Causation Revealed in Equations and Graphs.Christopher Hitchcock - 2001 - Journal of Philosophy 98 (6):273.details
|
|
A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS.H. C. M. de Swart - 1983 - Journal of Symbolic Logic 48 (1):1-20.details
|
|
A Theory of Conditionals.Robert Stalnaker - 1968 - In Nicholas Rescher (ed.), Studies in Logical Theory (American Philosophical Quarterly Monographs 2). Oxford: Blackwell. pp. 98-112.details
|
|
The intransitivity of causation revealed in equations and graphs.Christopher Hitchcock - 2001 - Journal of Philosophy 98 (6):273-299.details
|
|
Fiction, Counterfactuals: the challenge for logic.Brian Hill - 2012 - In Torres Juan, Pombo Olga, Symons John & Rahman Shahid (eds.), Special Sciences and the Unity of Science. Springer. pp. 277--299.details
|
|
Proofnets for S5: sequents and circuits for modal logic.Greg Restall - 2007 - In C. Dimitracopoulos, L. Newelski & D. Normann (eds.), Logic Colloquium 2005. Cambridge: Cambridge University Press. pp. 151-172.details
|
|
A Fitch-style formulation of conditional logic.Richmond H. Thomason - 1970 - Logique Et Analyse 52:397-412.details
|
|