Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Michał Zawidzki

Decision Procedures for Some Strong Hybrid Logics

Logic and Logical Philosophy

English