AiML B

36 papers

Year	Title / Authors
2020	13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020. Nicola Olivetti, Rineke Verbrugge, Sara Negri, Gabriel Sandu
2020	A Circular Proof System for the Hybrid μ-Calculus. Sebastian Enqvist
2020	A Monadic Logic of Ordered Abelian Groups. George Metcalfe, Olim Frits Tuyt
2020	A Semantics for a Failed Axiomatization of K. Hitoshi Omori, Daniel Skurt
2020	About 'Binding Modalities'. Melvin Fitting
2020	Actuality in Intuitionistic Logic. Satoru Niki, Hitoshi Omori
2020	Algorithmic Properties of First-Order Modal Logics of the Natural Number Line in Restricted Languages. Mikhail N. Rybakov, Dmitry Shkatov
2020	An Extension of Connexive Logic C. Hitoshi Omori, Heinrich Wansing
2020	Another Problem in Possible World Semantics. Yifeng Ding, Wesley H. Holliday
2020	Bi-Intuitionistic Logics: A New Instance of an Old Problem. Rajeev Goré, Ian Shillito
2020	Bisimulational Categoricity. Jedrzej Kolodziejski
2020	Counterfactuals and Dependencies on Causal Teams: Expressive Power and Deduction Systems. Fausto Barbero, Fan Yang
2020	Cyclic Proof Systems for Modal Logics. Bahareh Afshari
2020	Existence, Definedness and Definite Descriptions in Hybrid Modal Logic. Andrzej Indrzejczak
2020	Filtrations, canonical formulas, and axiomatizations of superintuitionistic and modal logics. Nick Bezhanishvili
2020	Finitely-Valued Propositional Dynamic Logic. Igor Sedlár
2020	Global Neighbourhood Completeness of the Provability Logic Daniyar S. Shamkanov
2020	Goldblatt-Thomason-Style Characterization for Intuitionistic Inquisitive Logic. Katsuhiko Sano
2020	Indexed Frames and Hybrid Logics. Philippe Balbiani, Saúl Fernández González
2020	Inquisitive Intuitionistic Logic. Wesley H. Holliday
2020	Learning and Modal Logic: There and Back Again. Nina Gierasimczuk
2020	Logic-Induced Bisimulations. Jim de Groot, Helle Hvid Hansen, Alexander Kurz
2020	Modal Logic for Induction. Giulio Fellin, Sara Negri, Peter M. Schuster
2020	Modal Logics with Transitive Closure: Completeness, Decidability, Filtration. Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin
2020	Model Completeness and Π Nick Bezhanishvili, Silvio Ghilardi, Lucia Landi
2020	Non-Iterative Modal Logics Are Coalgebraic. Jonas Forster, Lutz Schröder
2020	On the Axiomatisation of Common Knowledge. Andreas Herzig, Elise Perrotin
2020	Possibility, Consistency, Connexivity. Luis Estrada-González
2020	Quantified Reflection Calculus with One Modality. Ana de Almeida Borges, Joost J. Joosten
2020	Quantifying over Asynchronous Information Change. Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
2020	Reduction of Modal Logic and Realization in Justification Logic. Hirohiko Kushida
2020	Spinozian Model Theory. Justin Bledin, Yitzhak Melamed
2020	Temporal Interpretation of Intuitionistic Quantifiers. Guram Bezhanishvili, Luca Carai
2020	The 'Long Rule' in the Lambek Calculus with Iteration: Undecidability without Meets and Joins. Stepan L. Kuznetsov
2020	The Modal Logic of Almost Sure Frame Validities in the Finite. Valentin Goranko
2020	William of Sherwood on Necessity and Contingency. Sara L. Uckelman