A TABLE PROOF THEORY FOR FIRST-ORDER HYBRID MODAL LOGIC
Indira Iskandarovna Borisova
Tomsk State University, Tomsk, Russia
Keywords: hybrid logic, first-order modal logic, table proof theory
Abstract
This article describes the language, semantics, and proof theory for firs t-order hybrid modal logic, which solves the problem of cross-world quantification.
