Showing 1 - 1 results of 1 for search 'Dimiter Vakarelov', query time: 0.02s Refine Results
  1. 1
    Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA

    Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA by Willem Conradie, Valentin Goranko, Dimiter Vakarelov

    Published 2006-03-01
    Get full text
    Article

Search Tools: