A Decision Procedure for Fusion Logic

Antonio Cau, Helge Janicke and Ben Moszkowski


(Pdf version of slides)


1  Introduction

2  Motivation

3  Fusion Logic

4  Decision Procedure for Fusion Logic

5  Future work


2023-09-12
Contact | Home | ITL home | Course | Proofs | Algebra | FL
© 1996-2023