| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nina Gierasimczuk, Fernando R. Velázquez-Quesada (eds.) |
Dynamic Logic. New Trends and Applications - 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers  |
DaLí  |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Qian Chen, Dazhu Li |
Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability. |
DaLí |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tsubasa Takagi, Canh Minh Do, Kazuhiro Ogata 0001 |
Automated Quantum Program Verification in Dynamic Quantum Logic. |
DaLí |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bussi, Vincenzo Ciancia, Fabio Gadducci |
A Spatial Logic with Time and Quantifiers. |
DaLí |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Katrine Bjørn Pedersen Thoft, Nina Gierasimczuk |
Learning by Intervention in Simple Causal Domains. |
DaLí |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakob Dirk Top, Catholijn M. Jonker, Rineke Verbrugge, Harmen de Weerd |
Predictive Theory of Mind Models Based on Public Announcement Logic. |
DaLí |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaibo Xie, Qingyu He, Fenrong Liu |
A Logical Approach to Doxastic Causal Reasoning. |
DaLí |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Sedlár |
Kleene Algebra of Weighted Programs with Domain. |
DaLí |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Penghao Du, Qian Chen |
Axiomatization of Hybrid Logic of Link Variations. |
DaLí |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Areces, Diana Costa 0001 (eds.) |
Dynamic Logic. New Trends and Applications - 4th International Workshop, DaLí 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers |
DaLí |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vitaliy Dolgorukov, Maksim Gladyshev |
Dynamic Epistemic Logic for Budget-Constrained Agents. |
DaLí |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani |
Parametrized Modal Logic II: The Unidimensional Case. |
DaLí |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada |
First Steps in Updating Knowing How. |
DaLí |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Aldo Iván Ramírez Abarca, Jan M. Broersen |
A Stit Logic of Intentionality. |
DaLí |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomoaki Kawano |
Quantum Logic for Observation of Physical Quantities. |
DaLí |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamín R. C. Bedregal, Regivan H. N. Santiago, Alexandre Madeira, Manuel A. Martins 0001 |
Relating Kleene Algebras with Pseudo Uninorms. |
DaLí |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rustam Galimullin, Thomas Ågotnes |
Action Models for Coalition Logic. |
DaLí |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | John Lindqvist, Fernando R. Velázquez-Quesada, Thomas Ågotnes |
Cautious Distributed Belief. |
DaLí |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryo Hatano, Katsuhiko Sano |
Constructive Dynamic Logic of Relation Changers. |
DaLí |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuojun Xiong, Thomas Ågotnes |
Arbitrary Propositional Network Announcement Logic. |
DaLí |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Stepan L. Kuznetsov |
Complexity of Commutative Infinitary Action Logic. |
DaLí |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Bílková, Sabine Frittella, Ondrej Majer, Sajad Nazari |
Belief Based on Inconsistent Information. |
DaLí |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans van Ditmarsch, Mo Liu 0002, Louwe B. Kuijer, Igor Sedlár |
Expressivity of Some Versions of APAL. |
DaLí |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Line van den Berg, Malvin Gattinger |
Dealing with Unreliable Agents in Dynamic Gossip. |
DaLí |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Reiche, Christoph Benzmüller |
Public Announcement Logic in HOL. |
DaLí |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yì N. Wáng, Thomas Ågotnes |
Simpler Completeness Proofs for Modal Logics with Intersection. |
DaLí |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Soares Barbosa, Alexandru Baltag (eds.) |
Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings |
DaLí |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaia Belardinelli, Rasmus K. Rendsvig |
Awareness Logic: A Kripke-Based Rendition of the Heifetz-Meier-Schipper Model. |
DaLí |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Barbero, Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada, Kaibo Xie |
Thinking About Causation: A Causal Language with Epistemic Operators. |
DaLí |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Aucher |
Expedition in the Update Universe. |
DaLí |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthia Solaki |
Bounded Multi-agent Reasoning: Actualizing Distributed Knowledge. |
DaLí |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Emiliano Lorini, Pengfei Song |
Grounding Awareness on Belief Bases. |
DaLí |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro |
Default Modal Systems as Algebraic Updates. |
DaLí |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel A. Martins 0001, Igor Sedlár (eds.) |
Dynamic Logic. New Trends and Applications - Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers |
DaLí |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bolander, Arnaud Lequen |
Parameterized Complexity of Dynamic Belief Updates. |
DaLí |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Vít Puncochár |
Inquisitive Dynamic Epistemic Logic in a Non-classical Setting. |
DaLí |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales |
Ecumenical Modal Logic. |
DaLí |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Diana Costa 0001, Manuel A. Martins 0001 |
A Four-Valued Hybrid Logic with Non-dual Modal Operators. |
DaLí |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Tavares |
A Dynamic Logic for QASM Programs. |
DaLí |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Sedlár |
Iterative Division in the Distributive Full Non-associative Lambek Calculus. |
DaLí |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Steinhöfel, Reiner Hähnle |
The Trace Modality. |
DaLí |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sonja Smets, Fernando R. Velázquez-Quesada |
A Logical Analysis of the Interplay Between Social Influence and Friendship Selection. |
DaLí |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Aldo Iván Ramírez Abarca, Jan M. Broersen |
Stit Semantics for Epistemic Notions Based on Information Disclosure in Interactive Settings. |
DaLí |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval |
The Logic of AGM Learning from Partial Observations. |
DaLí |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Raul Fervari, Francisco Trucco, Beta Ziliani |
Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq. |
DaLí |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Proietti, Antonio Yuste-Ginel |
Persuasive Argumentation and Epistemic Attitudes. |
DaLí |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum |
A Dynamic Epistemic Logic Analysis of the Equality Negation Task. |
DaLí |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt |
Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions. |
DaLí |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marlo Souza, Álvaro F. Moreira |
Bringing Belief Base Change into Dynamic Epistemic Logic. |
DaLí |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Boudou, Andreas Herzig, Nicolas Troquard |
Resource Separation in Dynamic Logic of Propositional Assignments. |
DaLí |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Leandro Gomes 0001 |
On the Construction of Multi-valued Concurrent Dynamic Logics. |
DaLí |
2019 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license