logo
Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic
Negative Equivalence of Extensions of Minimal Logic
All Normal Extensions of S5-squared Are Finitely Axiomatizable
On Ultrafilter Logic and Special Functions
Foundations of Logic and Mathematics