1 projects found matching your search criteria :
Post completeness vs neighborhood completeness in classical modal logics
Call: PRELUDIUM 22 , Panel: HS1
Principal investigator: Krzysztof Krawczyk
Uniwersytet Jagielloński, Wydział Filozoficzny