Cut-free sequent and tableau systems for propositional Diodorean modal logics
Author:
- 1 January 1994
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 53 (3) , 433-457
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- First-order modal tableauxJournal of Automated Reasoning, 1988
- A Syntactic Proof of Cut‐Elimination For GLlinMathematical Logic Quarterly, 1986
- Melvin Fitting. Proof methods for modal and intuitionistic logics. Synthese library, vol. 169. D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, viii + 555 pp.The Journal of Symbolic Logic, 1985
- CorrectionsJournal of Philosophical Logic, 1985
- Basic Modal Logic1984
- Modal tableau calculi and interpolationJournal of Philosophical Logic, 1983
- Temporal logic can be more expressiveInformation and Control, 1983
- Proof Methods for Modal and Intuitionistic Logics1983
- Transitivity follows from Dummett's axiomTheoria, 1978
- An algebraic study of Diodorean modal systemsThe Journal of Symbolic Logic, 1965