Speaker
Brett McLean
Ghent University
Talks at this conference:
Wednesday, 14:00, J336 
Biintuitionistic linear temporal logic 
Authors: David FernándezDuque, Brett McLean and Lukas Zenger We investigate an intuitionistic propositional logic extended with both the coimplication connective of Hilbert–Brouwer logic and with the modalities of linear temporal logic. We use a semantics based on intuitionistic Kripke frames equipped with an orderpreserving function representing the temporal dynamics. By using the technical notion of a quasimodel, a type of nondeterministic encoding of a lineartime model, first introduced in [1], we establish the decidability of our biintuitionistic linear temporal logic and give a sound and complete Hilbertstyle calculus for it. This work builds on that of [2], where the decidability of various biintuitionistic modal logics was established. Bibliography
