default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th Advances in Modal Logic 2020: Helsinki, Finland
- Nicola Olivetti, Rineke Verbrugge, Sara Negri, Gabriel Sandu:
13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020. College Publications 2020, ISBN 978-1-84890-341-8
Abstracts of Invited Talks
- Bahareh Afshari:
Cyclic Proof Systems for Modal Logics. 3 - Nick Bezhanishvili:
Filtrations, canonical formulas, and axiomatizations of superintuitionistic and modal logics. 5 - Melvin Fitting:
About 'Binding Modalities'. 7 - Nina Gierasimczuk
:
Learning and Modal Logic: There and Back Again. 9
Contributed Papers
- Ana de Almeida Borges, Joost J. Joosten:
Quantified Reflection Calculus with One Modality. AiML 2020: 13-32 - Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González:
Quantifying over Asynchronous Information Change. AiML 2020: 33-52 - Philippe Balbiani, Saúl Fernández González:
Indexed Frames and Hybrid Logics. AiML 2020: 53-72 - Fausto Barbero, Fan Yang:
Counterfactuals and Dependencies on Causal Teams: Expressive Power and Deduction Systems. AiML 2020: 73-93 - Guram Bezhanishvili, Luca Carai:
Temporal Interpretation of Intuitionistic Quantifiers. AiML 2020: 95-114 - Nick Bezhanishvili, Silvio Ghilardi, Lucia Landi:
Model Completeness and Π2-rules: The Case of Contact Algebras. AiML 2020: 115-132 - Justin Bledin, Yitzhak Melamed:
Spinozian Model Theory. AiML 2020: 133-147 - Yifeng Ding, Wesley H. Holliday:
Another Problem in Possible World Semantics. AiML 2020: 149-168 - Sebastian Enqvist:
A Circular Proof System for the Hybrid μ-Calculus. AiML 2020: 169-188 - Luis Estrada-González:
Possibility, Consistency, Connexivity. AiML 2020: 189-207 - Giulio Fellin, Sara Negri, Peter M. Schuster:
Modal Logic for Induction. AiML 2020: 209-227 - Jonas Forster, Lutz Schröder:
Non-Iterative Modal Logics Are Coalgebraic. AiML 2020: 229-248 - Valentin Goranko:
The Modal Logic of Almost Sure Frame Validities in the Finite. AiML 2020: 249-268 - Rajeev Goré, Ian Shillito:
Bi-Intuitionistic Logics: A New Instance of an Old Problem. AiML 2020: 269-288 - Jim de Groot, Helle Hvid Hansen, Alexander Kurz:
Logic-Induced Bisimulations. AiML 2020: 289-308 - Andreas Herzig, Elise Perrotin:
On the Axiomatisation of Common Knowledge. AiML 2020: 309-328 - Wesley H. Holliday:
Inquisitive Intuitionistic Logic. AiML 2020: 329-348 - Andrzej Indrzejczak:
Existence, Definedness and Definite Descriptions in Hybrid Modal Logic. AiML 2020: 349-368 - Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin:
Modal Logics with Transitive Closure: Completeness, Decidability, Filtration. AiML 2020: 369-388 - Jedrzej Kolodziejski:
Bisimulational Categoricity. AiML 2020: 389-404 - Hirohiko Kushida:
Reduction of Modal Logic and Realization in Justification Logic. AiML 2020: 405-424 - Stepan L. Kuznetsov:
The 'Long Rule' in the Lambek Calculus with Iteration: Undecidability without Meets and Joins. AiML 2020: 425-440 - George Metcalfe, Olim Frits Tuyt:
A Monadic Logic of Ordered Abelian Groups. AiML 2020: 441-457 - Satoru Niki, Hitoshi Omori:
Actuality in Intuitionistic Logic. AiML 2020: 459-479 - Hitoshi Omori, Daniel Skurt:
A Semantics for a Failed Axiomatization of K. AiML 2020: 481-501 - Hitoshi Omori, Heinrich Wansing:
An Extension of Connexive Logic C. AiML 2020: 503-522 - Mikhail N. Rybakov, Dmitry Shkatov:
Algorithmic Properties of First-Order Modal Logics of the Natural Number Line in Restricted Languages. AiML 2020: 523-539 - Katsuhiko Sano:
Goldblatt-Thomason-Style Characterization for Intuitionistic Inquisitive Logic. AiML 2020: 541-560 - Igor Sedlár:
Finitely-Valued Propositional Dynamic Logic. AiML 2020: 561-579 - Daniyar S. Shamkanov:
Global Neighbourhood Completeness of the Provability Logic GLP. AiML 2020: 581-596 - Sara L. Uckelman:
William of Sherwood on Necessity and Contingency. AiML 2020: 597-612
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-30 00:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
