Two Natural Deduction Systems for Hybrid Logic: A Comparison

Authors:
Torben Braü/ner
Affiliations:
Department of Computer Science, Roskilde University, P.O. Box 260, DK-4000 Roskilde, Denmark/ E-mail: torben@ruc.dk
Venue:
Journal of Logic, Language and Information
Year:
2004

Citing 4
Cited 2

Basic proof theory

Basic proof theory
Modal logic

Modal logic
A Term Calculus for Intuitionistic Linear Logic

TLCA '93 Proceedings of the International Conference on Typed Lambda Calculi and Applications
Natural Deduction for Hybrid Logic

Journal of Logic and Computation

Natural Deduction for First-Order Hybrid Logic

Journal of Logic, Language and Information
Modelling of Chance Discovery in variations of Linear Temporal Logic implementing agents' interaction

International Journal of Advanced Intelligence Paradigms

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper two different natural deduction systems forhybrid logic are compared and contrasted.One of the systems was originally given by the author of the presentpaper whereasthe other system under consideration is a modifiedversion of a natural deductionsystem given by Jerry Seligman.We give translations in both directions between the systems,and moreover, we devise a set of reduction rules forthe latter system bytranslation of already known reduction rules for the former system.