| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Krisztina Fruzsa, Roman Kuznets, Hans van Ditmarsch |
A New Hope.  |
AiML  |
2022 |
DBLP BibTeX RDF |
|
| 1 | Eugenio Orlandelli, Matteo Tesi |
Labelled sequent calculi for logics of strict implication. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Rineke Verbrugge |
Not the sky, but the third floor is the limit: Zero-one laws for provability logic, S4, and K4. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Quentin Gougeon |
Projective unification through duality. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Satoru Niki |
Intuitionistic Modality and Beth Semantics. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Tiziano Dalmonte |
Wijesekera-style constructive modal logics. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Ivano Ciardelli |
Describing neighborhoods in inquisitive modal logic. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Amirhossein Akbar Tabatabai |
Provability Logics of Hierarchies. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Balder ten Cate, Raoul Koudijs, Johan van Benthem |
Local Dependence and Guarding. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Inmaculada Perez de Guzmán, Antonio Yuste-Ginel, Alfredo Burrieza |
A multi-modal logic for Galois connections. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Mattia Panettiere, Apostolos Tzimoulis |
Graded modal logic with a single modality. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Jan Rooduijn, Lukas Zenger |
An analytic proof system for common knowledge logic over S5. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Hiroakira Ono, Katsuhiko Sano |
Analytic Cut and Mints - Symmetric Interpolation Method for Bi-intuitionistic Tense Logic. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | George Metcalfe, Naomi Tokuda, Petr Cintula |
Algebraic Semantics for One-Variable Lattice-Valued Logics. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Anupam Das 0002, Sonia Marin |
Modal logic and the polynomial hierarchy: from QBFs to K and back. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Wesley H. Holliday |
Non-classical modal logic for natural language. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Francesca Poggiolesi |
Explanations in logic. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Guillaume Massas |
Choice-Free de Vries Duality. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Ruba Alassaf, Renate A. Schmidt, Uli Sattler |
Saturation-Based Uniform Interpolation for Multi-Modal Logics. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Wesley H. Holliday |
Compatibility and accessibility: Lattice representations for semantics of non-classical and modal logics. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Igor Sedlár, Pietro Vigiani |
Relevant Reasoners in a Classical World. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Yanjing Wang 0001, Yunsong Wang, Haoyu Wang |
An Epistemic Interpretation of Tensor Disjunction. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Ian Shillito, Rajeev Goré |
Direct elimination of additive-cuts in GL4ip: verified and extracted. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Wojtek Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk, Damian Kurpiewski |
Verification of Multi-Agent Properties in Electronic Voting: A Case Study. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Jim de Groot |
Goldblatt-Thomason Theorems for Modal Intuitionistic Logics. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Saúl Fernández González |
Parametrized modal logic I: An introduction. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Lutz Straßburger, Matteo Tesi, Agata Ciabattoni |
Taming Bounded Depth with Nested Sequents. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Tiziano Dalmonte, Marianna Girlando |
Comparative plausibility in neighbourhood models: axiom systems and sequent calculi. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Matteo Acclavio, Lutz Straßburger |
Combinatorial Proofs for Constructive Modal Logic. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Gianluca Grilletti |
Medvedev logic is the logic of finite distributive lattices without top element. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Nicolas Fröhlich, Arne Meier |
Submodel Enumeration of Kripke Structures in Modal Logic. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | David Fernández-Duque, Alessandra Palmigiano, Sophie Pinchinat (eds.) |
Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Rosalie Iemhoff, Raheleh Jalali, Amirhossein Akbar Tabatabai |
Uniform Lyndon interpolation for intuitionistic monotone modal logic. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Willem Conradie, Mattia Panettiere |
Modal inverse correspondence via ALBA. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Willem Conradie |
On parametric phenomena in correspondence theory. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Ahmee Christensen |
Completeness for an Intuitionistic Modal Logic of Vagueness. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Denis I. Saveliev, Ilya Shapirovsky |
Medvedev's logic and products of converse well orders. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Guillermo Badia, Tomasz Kowalski, Daniel Gaina |
Robinson consistency in many-sorted hybrid first-order logics. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Andrea De Domenico, Giuseppe Greco 0001 |
Algorithmic correspondence and analytic rules. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Robin Hirsch, Brett McLean |
EXPTIME-hardness of higher-dimensional Minkowski spacetime. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 1 | Stepan L. Kuznetsov |
The 'Long Rule' in the Lambek Calculus with Iteration: Undecidability without Meets and Joins. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin |
Modal Logics with Transitive Closure: Completeness, Decidability, Filtration. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Melvin Fitting |
About 'Binding Modalities'. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Rajeev Goré, Ian Shillito |
Bi-Intuitionistic Logics: A New Instance of an Old Problem. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Valentin Goranko |
The Modal Logic of Almost Sure Frame Validities in the Finite. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Nina Gierasimczuk |
Learning and Modal Logic: There and Back Again. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | George Metcalfe, Olim Frits Tuyt |
A Monadic Logic of Ordered Abelian Groups. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Daniyar S. Shamkanov |
Global Neighbourhood Completeness of the Provability Logic GLP. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Nick Bezhanishvili, Silvio Ghilardi, Lucia Landi |
Model Completeness and Π2-rules: The Case of Contact Algebras. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Guram Bezhanishvili, Luca Carai |
Temporal Interpretation of Intuitionistic Quantifiers. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Andreas Herzig, Elise Perrotin |
On the Axiomatisation of Common Knowledge. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Mikhail N. Rybakov, Dmitry Shkatov |
Algorithmic Properties of First-Order Modal Logics of the Natural Number Line in Restricted Languages. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Bahareh Afshari |
Cyclic Proof Systems for Modal Logics. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Luis Estrada-González |
Possibility, Consistency, Connexivity. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Justin Bledin, Yitzhak Melamed |
Spinozian Model Theory. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Igor Sedlár |
Finitely-Valued Propositional Dynamic Logic. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Satoru Niki, Hitoshi Omori |
Actuality in Intuitionistic Logic. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Nick Bezhanishvili |
Filtrations, canonical formulas, and axiomatizations of superintuitionistic and modal logics. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Ana de Almeida Borges, Joost J. Joosten |
Quantified Reflection Calculus with One Modality. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Fausto Barbero, Fan Yang |
Counterfactuals and Dependencies on Causal Teams: Expressive Power and Deduction Systems. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Saúl Fernández González |
Indexed Frames and Hybrid Logics. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Nicola Olivetti, Rineke Verbrugge, Sara Negri, Gabriel Sandu (eds.) |
13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González |
Quantifying over Asynchronous Information Change. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Hitoshi Omori, Daniel Skurt |
A Semantics for a Failed Axiomatization of K. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Jedrzej Kolodziejski |
Bisimulational Categoricity. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Wesley H. Holliday |
Inquisitive Intuitionistic Logic. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Katsuhiko Sano |
Goldblatt-Thomason-Style Characterization for Intuitionistic Inquisitive Logic. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Hitoshi Omori, Heinrich Wansing |
An Extension of Connexive Logic C. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Sara L. Uckelman |
William of Sherwood on Necessity and Contingency. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Andrzej Indrzejczak |
Existence, Definedness and Definite Descriptions in Hybrid Modal Logic. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Jonas Forster, Lutz Schröder |
Non-Iterative Modal Logics Are Coalgebraic. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Enqvist |
A Circular Proof System for the Hybrid μ-Calculus. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Giulio Fellin, Sara Negri, Peter M. Schuster |
Modal Logic for Induction. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Hirohiko Kushida |
Reduction of Modal Logic and Realization in Justification Logic. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Yifeng Ding, Wesley H. Holliday |
Another Problem in Possible World Semantics. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 1 | Jim de Groot, Helle Hvid Hansen, Alexander Kurz 0001 |
Logic-Induced Bisimulations. |
AiML |
2020 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license