Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Cut-free sequent calculi for some tense logics

1994116 citationsJournal Article

Authors

Ryo Kashima · National Institute of Technology, Oyama College

Topics & Keywords

Logic, Reasoning, and Knowledge Logic, programming, and type systems Advanced Algebra and Logic

Publication Details

Published in: Studia Logica

Volume 53, Issue 1, pp. 119-135

DOI: 10.1007/bf01053026

Field-Weighted Citation Impact: 0.00

Cut-free sequent calculi for some tense logics | Researchclopedia