Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Vermeulen, C.F.M.
Volume
Title
102
Proofs as Texts: Dynamic Proof Theory for Intuitionistic Propositional Logic
Vermeulen, C.F.M.
85
Incremental semantics for propositional texts
Vermeulen, C.F.M.
70
Merging without Mystery or: Variables in Dynamic Semantics
Vermeulen, C.F.M.
60
Sequence Semantics for Dynamic Predicate Logic
Vermeulen, C.F.M.
Online