Buchumschlag

Topological Logics with Connectedness over Euclidean Spaces

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kontchakov, Roman, Nenov, Yavor, Pratt-Hartmann, Ian, Zakharyaschev, Michael
Format:	Preprint
Veröffentlicht:	2011
Schlagworte:	Logic in Computer Science Geometric Topology 68T30 (Primary) 03D15, 68Q17 (Secondary) I.2.4; F.4.3; F.2.2
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Determination of the fifth Busy Beaver value
von: The bbchallenge Collaboration, et al.
Veröffentlicht: (2025)

Languages of Words of Low Automatic Complexity Are Hard to Compute
von: Chen, Joey, et al.
Veröffentlicht: (2025)

Oruga: An Avatar of Representational Systems Theory
von: Raggi, Daniel, et al.
Veröffentlicht: (2025)

Solutions of Word Equations over Partially Commutative Structures
von: Diekert, Volker, et al.
Veröffentlicht: (2016)

A correspondence between the time and space complexity
von: Latkin, Ivan V.
Veröffentlicht: (2023)

A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
von: Bruse, Florian, et al.
Veröffentlicht: (2026)

Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
von: Raggi, Daniel, et al.
Veröffentlicht: (2025)

Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version)
von: Nakano, Keisuke, et al.
Veröffentlicht: (2024)

Anti-Context-Free languages
von: Cardó, Carles
Veröffentlicht: (2024)

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers
von: Zhang, Manqing, et al.
Veröffentlicht: (2026)

Encoding Argumentation Frameworks to Propositional Logic Systems
von: Tang, Shuai, et al.
Veröffentlicht: (2025)

Classification of Covering Spaces and Canonical Change of Basepoint
von: Wemmenhove, Jelle, et al.
Veröffentlicht: (2024)

Recursive windows for grammar logics of bounded density
von: Gasquet, Olivier
Veröffentlicht: (2025)

PSPACE-completeness of bimodal transitive weak-density logic
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

Gödel Mirror: A Formal System For Contradiction-Driven Recursion
von: Chan, Jhet
Veröffentlicht: (2025)

ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
von: Haak, Anselm, et al.
Veröffentlicht: (2026)

Locality, Consistency, and the Tractability Frontier
von: Simas, Tristan
Veröffentlicht: (2026)

An Incremental Framework for Topological Dialogue Semantics: Efficient Reasoning in Discrete Spaces
von: Santacana, Andreu Ballus
Veröffentlicht: (2025)

Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
von: Benzmüller, Christoph, et al.
Veröffentlicht: (2026)

Around Context-Free Grammars -- a Normal Form, a Representation Theorem, and a Regular Approximation
von: Cojocaru, Liliana
Veröffentlicht: (2015)

Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
von: Sochański, Michał, et al.
Veröffentlicht: (2025)

Faithful Logic Embeddings in HOL -- Deep and Shallow
von: Benzmüller, Christoph
Veröffentlicht: (2025)

Mechanised uniform interpolation for modal logics K, GL, and iSL
von: Férée, Hugo, et al.
Veröffentlicht: (2024)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
von: Lopez, Aliaume
Veröffentlicht: (2024)

Which are the True Defeasible Logics?
von: Maher, Michael J.
Veröffentlicht: (2024)

Computational Complexity of Determining the Assembly Index
von: Masierak, Piotr
Veröffentlicht: (2026)

Rewriting Induction for Existentially Quantified Equations in Logically Constrained Rewriting (Full Version)
von: Nishida, Naoki, et al.
Veröffentlicht: (2026)

Complexities of Well-Quasi-Ordered Substructural Logics
von: Galatos, Nikolaos, et al.
Veröffentlicht: (2025)

A Logic For Fresh Labelled Transition Systems
von: Bandukara, Mohamed H, et al.
Veröffentlicht: (2025)

Encoding argumentation frameworks with set attackers to propositional logic systems
von: Tang, Shuai, et al.
Veröffentlicht: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
von: Tang, Shuai
Veröffentlicht: (2025)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
von: Martina, Antoine, et al.
Veröffentlicht: (2023)

A foundational characterization of Hoare Logic
von: Leivant, Daniel
Veröffentlicht: (2026)

QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits
von: Li, Zihao, et al.
Veröffentlicht: (2026)

Constraint Satisfaction Problems over Finitely Bounded Homogeneous Structures: a Dichotomy between FO and L-hard
von: Dorochko, Leonid, et al.
Veröffentlicht: (2026)

Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment
von: Jilissen, Kevin H. J., et al.
Veröffentlicht: (2024)

Varieties of Distributed Knowledge
von: Galimullin, Rustam, et al.
Veröffentlicht: (2025)

The Maude strategy language
von: Eker, Steven, et al.
Veröffentlicht: (2024)

Decidable Reversible Equivalences for Finite Petri Nets
von: Gorrieri, Roberto, et al.
Veröffentlicht: (2025)

Well-Quasi-Orderings on Word Languages
von: Lhote, Nathan, et al.
Veröffentlicht: (2025)