1 Non-deterministic Phase Semantics and the Undecidability of Boolean BI DOMINIQUE LARCHEY-WENDLING, LORIA – CNRS DIDIER GALMICHE, LORIA – University Henri Poincar´e We solve the open problem of the decidability of

Source URL: www.lsv.ens-cachan.fr

Parallel postulates and decidability of intersection of lines: a mechanized study within Tarski’s system of geometry Pierre Boutry, Julien Narboux, Pascal Schreck To cite this version:

Source URL: hal.inria.fr

Decidability and Complexity of Petri Net Problems An Introduction* Javier Esparza Institut fiir Informatik, Technische Universit~t Miinchen, Arcisstr. 21, DMiinchen, Germany, e-maih -muenchen.

Source URL: www.mimuw.edu.pl

RESIDUATED FRAMES WITH APPLICATIONS TO DECIDABILITY NIKOLAOS GALATOS AND PETER JIPSEN Abstract. Residuated frames provide relational semantics for substructural logics and are a natural generalization of Kripke frames in

Source URL: math.chapman.edu

On Decidability and Tractability of Querying in Temporal EL V´ıctor Guti´errez-Basulto1 , Jean Christoph Jung1 , and Roman Kontchakov2 1 2

Source URL: ceur-ws.org

In pursuit of decidable ‘logical form’ Michael Minock TCS/CSC KTH Royal Institute of Technology, Stockholm, Sweden Abstract

Source URL: www2.lingfil.uu.se

• Logic
• Mathematical logic
• Theoretical computer science
• Natural language processing
• Formal methods
• Computability theory
• Artificial intelligence
• Decidability
• First-order logic
• Natural language understanding
• Natural language user interface
• Entityrelationship model

Isomorphisms in the presence of sum and function types Axioms and decidability Danko ILIK Parsifal, Inria

Source URL: www.cri.ensmp.fr

• Functional analysis
• Operator theory
• Computability theory
• Representation theory of Lie groups
• Mathematics
• Spectral theory
• Spectral theory of ordinary differential equations
• Adjoint functors

Problem statement Undecidability Decidability

Source URL: a3nm.net

• Logic
• Computing
• Proof theory
• Philosophy
• Decidability
• Metalogic
• Artificial intelligence
• Non-classical logic
• Conjunctive query
• Description logic
• Web Ontology Language

On Decidability and Tractability of Querying in Temporal EL V´ıctor Guti´errez-Basulto1 , Jean Christoph Jung1 , and Roman Kontchakov2 1 2

Source URL: www.informatik.uni-bremen.de

On Well-founded Security Protocols (Extended Abstract) Sibylle Fr¨oschle OFFIS & University of Oldenburg, Germany Email: Consider the decidability problem that stands behind

Source URL: software.imdea.org

• Cryptographic protocol
• DolevYao model
• Communications protocol
• Decidability
• Philosophy
• Abstraction
• Computing