4 papers
Forcing and Interpolation in first-order hybrid Logic with rigid symbols
Daniel GÄinÄ, Go Hashimoto
In this paper, we establish an analogue of Craig Interpolation Property for a many-sorted variant of first-order hybrid logic. We develop a forcing technique that dynamically adds…
Induction rules for Transition Algebra
Go Hashimoto
Transition Algebra (TA) is a type of infinite logic introduced to discuss rewriting systems. The natural deductive proof systems already introduced in TA satisfy completeness for c…
A formulation of D-institution using functor categories
Go Hashimoto
Variables are a crucial element in logic and are also addressed in institution theory, an effort to axiomatize logic. In institution theory, we typically use extensions (signature…
Model-theoretic Forcing in Transition Algebra
Go Hashimoto, Daniel GÄinÄ
We study Löwenheim-Skolem and Omitting Types theorems in Transition Algebra, a logical system obtained by enhancing many sorted first-order logic with features from dynamic logic.…