Copertina

The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ivanova, Tatyana, Tinchev, Tinko
Natura:	Preprint
Pubblicazione:	2021
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Modal definability in Euclidean modal logics
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

Intuitionistic modal logic LIK4 is decidable
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

Hereditary undecidability of fragments of some elementary theories
di: Karpov, Vladimir E.
Pubblicazione: (2024)

Quasitoposes as elementary quotient completions
di: Maietti, Maria Emilia, et al.
Pubblicazione: (2021)

Verifying Quantized Graph Neural Networks is PSPACE-complete
di: Sälzer, Marco, et al.
Pubblicazione: (2025)

PSPACE-completeness of bimodal transitive weak-density logic
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

Towards Practical Zero-Knowledge Proof for PSPACE
di: Karthikeyan, Ashwin, et al.
Pubblicazione: (2025)

The Equational Theory of Relational Kleene Algebra with Graph Loop is PSPACE-Complete
di: Nakamura, Yoshiki
Pubblicazione: (2025)

The uniqueness of elementary embeddings
di: Goldberg, Gabriel
Pubblicazione: (2021)

A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs
di: Suilen, Marnix, et al.
Pubblicazione: (2024)

Ultrafilter extensions of bounded graphs are elementary
di: Molnár, Zalán
Pubblicazione: (2024)

Non-commutative linear logic fragments with sub-context-free complexity
di: Nishimiya, Yusaku, et al.
Pubblicazione: (2025)

Modelling of logical systems by means of their fragments
di: Rybakov, Mikhail
Pubblicazione: (2025)

Algebraic characterisation of pseudo-elementary and second-order classes
di: Ivanyos, János Balázs
Pubblicazione: (2026)

Undecidability of the elementary theory of Young--Fibonacci lattice
di: Evtushevsky, Vsevolod
Pubblicazione: (2024)

The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)
di: Daviaud, Laure, et al.
Pubblicazione: (2023)

Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms
di: de Lima, Thaynara Arielly, et al.
Pubblicazione: (2024)

Left adjoint to precomposition in elementary doctrines
di: Guffanti, Francesca
Pubblicazione: (2023)

One-variable fragments of first-order logics
di: Cintula, Petr, et al.
Pubblicazione: (2023)

Structural completeness in quasivarieties
di: Aglianó, Paolo, et al.
Pubblicazione: (2024)

The complete classification for quantified equality constraints
di: Zhuk, Dmitriy, et al.
Pubblicazione: (2021)

A modular bisimulation characterisation for fragments of hybrid logic
di: Badia, Guillermo, et al.
Pubblicazione: (2023)

Limit models in strictly stable abstract elementary classes
di: Will Boney, et al.
Pubblicazione: (2024)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
di: Hansen, Helle Hvid, et al.
Pubblicazione: (2025)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
di: de Jong, Tom
Pubblicazione: (2024)

O-minimal open core is not an elementary property
di: Gorman, Alexi Block, et al.
Pubblicazione: (2026)

Cauchy-completions and the rule of unique choice in relational doctrines
di: Dagnino, Francesco, et al.
Pubblicazione: (2024)

The completeness and congruences of quasi-Boolean algebras
di: Liu, Xiaohao, et al.
Pubblicazione: (2025)

Characterizing fragments of collection principle in set theory with model theoretic properties
di: Chen, Junhong
Pubblicazione: (2025)

Goedel logics: Prenex fragments
di: Baaz, Matthias, et al.
Pubblicazione: (2024)

Biased elementary doctrines and quotient completions
di: Cioffo, Cipriano Junior
Pubblicazione: (2023)

Strong completeness for the predicate logic of the continuous t-norms
di: Castaño, Diego, et al.
Pubblicazione: (2024)

Characterizing relative decidability in terms of model completeness
di: Harrison-Trainor, Matthew, et al.
Pubblicazione: (2026)

Axiomatic theories of supervaluational truth: completing the picture
di: Dopico, Pablo, et al.
Pubblicazione: (2024)

Complexity of the variable-free fragments of non-normal modal logics (extended version)
di: Kudinov, A., et al.
Pubblicazione: (2025)

Some model theory of quadratic geometries
di: Kestner, Charlotte, et al.
Pubblicazione: (2024)

A note on schematic validity and completeness in Prawitz's semantics
di: d'Aragona, Antonio Piccolomini
Pubblicazione: (2025)

Arithmetical completeness for some extensions of the pure logic of necessitation
di: Kogure, Haruka
Pubblicazione: (2024)

Non-elementary categoricity and projective locally o-minimal classes
di: Zilber, Boris
Pubblicazione: (2022)

A nonsmooth path-connectedness relation in the real plane
di: Uyar, Yusuf
Pubblicazione: (2025)