Lietuvos Matematikos Rinkinys (Sep 2023)

Sequent calculus for hybrid logic

Stanislovas Norgėla,
Anželika Šalaviejienė

Affiliations

Stanislovas Norgėla: Vilnius University
Anželika Šalaviejienė: Vilnius University

DOI: https://doi.org/10.15388/LMR.2006.30717
Journal volume & issue: Vol. 46, no. spec.

Abstract

There is not abstract

Published in Lietuvos Matematikos Rinkinys

ISSN: 0132-2818 (Print); 2335-898X (Online)
Publisher: Vilnius University Press
Country of publisher: Lithuania
LCC subjects: Science: Mathematics
Website: https://www.journals.vu.lt/LMR/

About the journal