Johan van Benthem on Logic and Information Dynamics Alexandru Baltag & Sonja Smets: другие книги

Dynamic Logic. New Trends and Applications Dynamic Logic. New Trends and Applications
Dynamic Logic. New Trends and Applications
2020
Logic, Rationality, and Interaction Logic, Rationality, and Interaction
Logic, Rationality, and Interaction
2017