![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
27th WoLLIC 2021: Virtual Event
- Alexandra Silva, Renata Wassermann
, Ruy J. G. B. de Queiroz:
Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings. Lecture Notes in Computer Science 13038, Springer 2021, ISBN 978-3-030-88852-7 - Asta Halkjær From
:
Formalized Soundness and Completeness of Epistemic Logic. 1-15 - Timon Barlag
, Heribert Vollmer
:
A Logical Characterization of Constant-Depth Circuits over the Reals. 16-30 - Hans van Ditmarsch:
Wanted Dead or Alive: Epistemic Logic for Impure Simplicial Complexes. 31-46 - Pietro Galliani:
Doubly Strongly First Order Dependencies. 47-63 - Atefeh Rohani, Thomas Studer
:
Explicit Non-normal Modal Logic. 64-81 - Shengyang Zhong
:
A General Relational Semantics of Propositional Logic: Axiomatization. 82-99 - Ivo Pezlar
:
Meaning and Computing: Two Approaches to Computable Propositions. 100-116 - Xuefeng Wen:
Modal Logic via Global Consequence. 117-132 - Robert Freiman
:
Games for Hybrid Logic - From Semantic Games to Analytic Calculi. 133-149 - Viorel Iordache, Stefan Ciobaca:
Verifying the Conversion into CNF in Dafny. 150-166 - Nissan Levi
, Arnon Avron
:
Analysis in a Formal Predicative Set Theory. 167-183 - Niccolò Veltri
:
Coherence via Focusing for Symmetric Skew Monoidal Categories. 184-200 - Dazhu Li
, Sujata Ghosh, Fenrong Liu, Yaxin Tu:
On the Subtle Nature of a Simple Logic of the Hide and Seek Game. 201-218 - Philippe Balbiani, Saúl Fernández González
:
Orthogonal Frames and Indexed Relations. 219-234 - Declan Thompson:
Computable Execution Traces. 235-251 - Michal Konecný
, Sewon Park, Holger Thies
:
Axiomatic Reals and Certified Efficient Exact Real Computation. 252-268 - Davide Catta
, Symon Jory Stevens-Guille
:
Lorenzen Won the Game, Lorenz Did Too: Dialogical Logic for Ellipsis and Anaphora Resolution. 269-286 - Amirhossein Akbar Tabatabai, Rosalie Iemhoff
, Raheleh Jalali:
Uniform Lyndon Interpolation for Basic Non-normal Modal Logics. 287-301 - Juha Kontinen
, Max Sandström
:
On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties. 302-318 - Nicolás González, Sergio Abriola:
Characterizations for XPath R(đownarrow ). 319-336 - Iris van der Giessen, Raheleh Jalali, Roman Kuznets
:
Uniform Interpolation via Nested Sequents. 337-354 - Vít Puncochár
, Andrew Tedder:
Disjunction and Negation in Information Based Semantics. 355-371 - Daniel Leivant:
Algorithmically Broad Languages for Polynomial Time and Space. 372-387 - Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel
, Emerson Sales
:
A Pure View of Ecumenical Modalities. 388-407 - Alexandra Pavlova
:
Provability Games for Non-classical Logics. 408-425
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.