| Matteo Acclavio and Lutz Stra\u00dfburger<\/td> | Combinatorial Proofs for Constructive Modal Logic<\/td><\/tr> |
| Ruba Alassaf, Renate A. Schmidt and Uli Sattler<\/td> | Saturation-Based Uniform Interpolation for Multi-Agent Modal Logics<\/td><\/tr> |
| Philippe Balbiani and Saul Fernandez Gonzalez<\/td> | Parametrized modal logic: an introduction<\/td><\/tr> |
| Philippe Balbiani and Quentin Gougeon<\/td> | Projective unification through duality<\/td><\/tr> |
| Johan van Benthem, Balder ten Cate and Raoul Koudijs<\/td> | Local Dependence and Guarding<\/td><\/tr> |
| Alfredo Burrieza, Inmaculada Perez de Guzm\u00e1n and Antonio Yuste-Ginel<\/td> | A multi-modal logic for Galois connections<\/td><\/tr> |
| Ahmee Christensen<\/td> | Completeness for an Intuitionistic Modal Logic of Vagueness<\/td><\/tr> |
| Agata Ciabattoni, Lutz Stra\u00dfburger and Matteo Tesi<\/td> | Taming Bounded Depth with Nested Sequents<\/td><\/tr> |
| Ivano Ciardelli<\/td> | Describing neighborhoods in inquisitive modal logic<\/td><\/tr> |
| Petr Cintula, George Metcalfe and Naomi Tokuda<\/td> | Algebraic Semantics for One-Variable Lattice-Valued Logics<\/td><\/tr> |
| Willem Conradie and Mattia Panettiere<\/td> | Modal inverse correspondence via ALBA<\/td><\/tr> |
| Tiziano Dalmonte<\/td> | Wijesekera-style constructive modal logics<\/td><\/tr> |
| Tiziano Dalmonte and Marianna Girlando<\/td> | Comparative plausibility in neighbourhood models: axiom systems and sequent calculi<\/td><\/tr> |
| Anupam Das and Sonia Marin<\/td> | Modal logic and the polynomial hierarchy: from QBFs to K and back<\/td><\/tr> |
| Hans van Ditmarsch, Krisztina Fruzsa and Roman Kuznets<\/td> | A New Hope<\/td><\/tr> |
| Andrea De Domenico and Giuseppe Greco<\/td> | Algorithmic correspondence and analytic rules<\/td><\/tr> |
| Nicolas Fr\u00f6hlich and Arne Meier<\/td> | Sub-Model Enumeration of Kripke Structures in Modal Logic<\/td><\/tr> |
| Daniel Gaina, Guillermo Badia and Tomasz Kowalski<\/td> | Robinson consistency in many-sorted hybrid first-order logics<\/td><\/tr> |
| Rajeev Gor\u00e9 and Ian Shillito<\/td> | Direct elimination of additive-cuts in GL4ip: verified and extracted.<\/td><\/tr> |
| Gianluca Grilletti<\/td> | Medvedev logic is the logic of finite distributive lattices without top element<\/td><\/tr> |
| Jim de Groot<\/td> | Goldblatt-Thomason Theorems for Modal Intuitionistic Logics<\/td><\/tr> |
| Robin Hirsch and Brett McLean<\/td> | EXPTIME-hardness of higher-dimensional Minkowski spacetime<\/td><\/tr> |
| Wesley Holliday<\/td> | Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics<\/td><\/tr> |
| Damian Kurpiewski, Wojtek Jamroga, \u0141ukasz Ma\u015bko, \u0141ukasz Mikulski, Witold Pazderski, Wojciech Penczek and Teofil Sidoruk<\/td> | Verification of Multi-Agent Properties in Electronic Voting: A Case Study<\/td><\/tr> |
| Guillaume Massas<\/td> | Choice-Free de Vries Duality<\/td><\/tr> |
| Satoru Niki<\/td> | Intuitionistic Modality and Beth Semantics<\/td><\/tr> |
| Hiroakira Ono and Katsuhiko Sano<\/td> | Analytic Cut and Mints’ Symmetric Interpolation Method for Bi-intuitionistic Tense Logic<\/td><\/tr> |
| Eugenio Orlandelli and Matteo Tesi<\/td> | Labelled sequent calculi for logics of strict implication<\/td><\/tr> |
| Mattia Panettiere and Apostolos Tzimoulis<\/td> | Graded modal logic with a single modality<\/td><\/tr> |
| Jan Rooduijn and Lukas Zenger<\/td> | An analytic proof system for common knowledge logic over S5<\/td><\/tr> |
| Denis I. Saveliev and Ilya Shapirovsky<\/td> | Medvedev’s logic and products of converse well orders<\/td><\/tr> |
| Igor Sedlar and Pietro Vigiani<\/td> | Relevant Reasoners in a Classical World<\/td><\/tr> |
| Amirhossein Akbar Tabatabai<\/td> | Provability Logics of Hierarchies<\/td><\/tr> |
| Amirhossein Akbar Tabatabai, Rosalie Iemhoff and Raheleh Jalali<\/td> | Uniform Lyndon interpolation for intuitionistic monotone modal logic<\/td><\/tr> |
| Haoyu Wang, Yanjing Wang and Yunsong Wang<\/td> | An Epistemic Interpretation of Tensor Disjunction<\/td><\/tr><\/tbody><\/table>\n\n\n\n| Willem Conradie, Valentin Goranko and Chantel Marais<\/td> | On the Priorean Temporal Logics of Trees<\/td><\/tr> | | Sabine Frittella, Marta Bilkova, Daniil Kozhemiachenko, Ondrej Majer and Sajad Nazari<\/td> | Reasoning with probabilities and belief functions over Belnap–Dunn logic<\/td><\/tr> | | Wesley Fussner and Peter Jipsen<\/td> | Strict Implication Over Logics Without Contraction<\/td><\/tr> | | Malvin Gattinger<\/td> | A Verified Proof of Craig Interpolation for Basic Modal Logic via Tableaux in Lean<\/td><\/tr> | | Marianna Girlando, Ekaterina Kubyshkina and Mattia Petrolo<\/td> | A labelled proof system for ignorance<\/td><\/tr> | | Daniil Khaitovich<\/td> | Neighbourhood semantics and axioms for strategic fragment of classical stit logic<\/td><\/tr> | | Stanislav Kikot and Andrey Kudinov<\/td> | On strictly positive fragments of modal logics with confluence<\/td><\/tr> | | Raoul Koudijs and Balder ten Cate<\/td> | Characterizing Modal Formulas with Examples<\/td><\/tr> | | Andrey Kudinov<\/td> | Topological product of S4.1 x S4<\/td><\/tr> | | Stepan Kuznetsov<\/td> | Strong R-completeness for the Product-Free Lambek Calculus with Intersection and Unit<\/td><\/tr> | | Rui Li and Francesco Belardinelli<\/td> | A Sahlqvist-style Correspondence Theorem for Linear-time Temporal Logic LTL<\/td><\/tr> | | Ren\u00e9 Mellema and Frank Dignum<\/td> | Linking sanctions to norms in practice (short version)<\/td><\/tr> | | Zalan Molnar<\/td> | Bounded ultrafilter extensions and ultrafilter unions are elementary<\/td><\/tr> | | Yo\u00e0v Montacute<\/td> | Cantor Derivative Logic in Topological Dynamics<\/td><\/tr> | | Matteo Pascucci and Igor Sedl\u00e1r<\/td> | Hyperintensional models for non-congruential modal systems<\/td><\/tr> | | Daniel Rogozin and Ilya Shapirovsky<\/td> | On decidable extensions of Propositional Dynamic Logic<\/td><\/tr> | | Valentin Shehtman<\/td> | Some new examples of Kripke complete modal predicate logics<\/td><\/tr> | | Daniel Skurt<\/td> | The smallest modal system<\/td><\/tr> | | Naomi Tokuda<\/td> | The Dependence Problem in Varieties of Modal Semilattices<\/td><\/tr> | | Yuanzhe Yang<\/td> | Logics of true belief<\/td><\/tr><\/tbody><\/table>","protected":false},"excerpt":{"rendered":" Papiers accept\u00e9s Papiers complets Matteo Acclavio and Lutz Stra\u00dfburger Combinatorial Proofs for Constructive Modal Logic Ruba Alassaf, Renate A. Schmidt and Uli Sattler Saturation-Based Uniform Interpolation for Multi-Agent Modal Logics Philippe Balbiani and Saul Fernandez Gonzalez Parametrized modal logic: an introduction Philippe Balbiani and Quentin Gougeon Projective unification through duality…<\/p>\n Continue reading<\/span><\/i><\/a> <\/p>\n","protected":false},"author":2089,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_mc_calendar":[],"footnotes":""},"class_list":["post-526","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/aiml2022.irisa.fr\/fr\/wp-json\/wp\/v2\/pages\/526","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/aiml2022.irisa.fr\/fr\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/aiml2022.irisa.fr\/fr\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/aiml2022.irisa.fr\/fr\/wp-json\/wp\/v2\/users\/2089"}],"replies":[{"embeddable":true,"href":"https:\/\/aiml2022.irisa.fr\/fr\/wp-json\/wp\/v2\/comments?post=526"}],"version-history":[{"count":21,"href":"https:\/\/aiml2022.irisa.fr\/fr\/wp-json\/wp\/v2\/pages\/526\/revisions"}],"predecessor-version":[{"id":619,"href":"https:\/\/aiml2022.irisa.fr\/fr\/wp-json\/wp\/v2\/pages\/526\/revisions\/619"}],"wp:attachment":[{"href":"https:\/\/aiml2022.irisa.fr\/fr\/wp-json\/wp\/v2\/media?parent=526"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}} |
|