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