Skip to content

Non-finite Axiomatizability of Dynamic Topological Logic.

David Fernndez-Duque

VenueBAiML
Year2012
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.