Skip to content

Normal Modal Logics Containing KTB with some Finiteness Conditions.

Yutaka Miyazaki

VenueBAiML
Year2004
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.