Image de couverture de livre

$G$-systems and 4E Cognitive Science

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Weinstein, Vadim K.
Format:	Preprint
Publié:	2025
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Hanf Locality and Invariant Elementary Definability
par: Lindell, Steven, et autres
Publié: (2025)

The Complexity of the Set of Validities of a Theory
par: Hirschfeldt, Denis R., et autres
Publié: (2025)

Piecewise convex embeddability on linear orders
par: Iannella, Martina, et autres
Publié: (2023)

Modelling of logical systems by means of their fragments
par: Rybakov, Mikhail
Publié: (2025)

Incompleteness for stably computable formal systems
par: Savelyev, Yasha
Publié: (2022)

Borel Reductions and Cub Games in Generalized Descriptive Set Theory
par: Kulikov, Vadim
Publié: (2012)

Convex Embeddability and Knot Theory
par: Iannella, Martina, et autres
Publié: (2023)

Wider systems for linear logic with fixed points: proof theory and complexity
par: Das, Anupam, et autres
Publié: (2026)

Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
par: Kozhemiachenko, Daniil
Publié: (2024)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
par: Oda, Yukihiro
Publié: (2025)

A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates
par: Oda, Yukihiro, et autres
Publié: (2022)

A Model Checker for Natural Strategic Ability
par: Aruta, Marco, et autres
Publié: (2024)

VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems
par: Ferrando, Angelo, et autres
Publié: (2024)

A note on Grigoriev and Zaitsev's system CNL$^2_4$
par: Omori, Hitoshi, et autres
Publié: (2024)

CSLibPremiseBench: Structure-Guided Premise Retrieval and Label Robustness for Lean 4 Computer-Science Theorems
par: Ji, Junye
Publié: (2026)

The algebraic semantics for the one-variable monadic fragment of the predicate logic $\mathcal{G}\forall_{\sim}$
par: Castaño, Diego, et autres
Publié: (2024)

Generalized Epstein semantics for Parry systems
par: Zamperlin, Nicolò
Publié: (2024)

Model theory of Steiner triple systems
par: Barbina, Silvia, et autres
Publié: (2018)

Decomposition of Płonka sums into direct systems
par: Mruczek-Nasieniewska, Krystyna, et autres
Publié: (2024)

A Timed Obstruction Logic for Dynamic Game Models
par: Cortes, David, et autres
Publié: (2025)

When Natural Strategies Meet Fuzziness and Resource-Bounded Actions (Extended Version)
par: Aruta, Marco, et autres
Publié: (2025)

KindHML: formal verification of smart contracts based on Hennessy-Milner logic
par: Bartoletti, Massimo, et autres
Publié: (2026)

A tree rewriting system for the Reflection Calculus
par: Santiago-Fernández, Sofía, et autres
Publié: (2024)

Natural Deduction systems for some weak Subintuitionistic Logics
par: Maleki, Fatemeh Shirmohammadzadeh
Publié: (2024)

A formal system for reasoning about assertibility, truth, and meaningfulness
par: Weaver, Nik
Publié: (2025)

Cut elimination for a non-wellfounded system for the master modality
par: Miranda, Borja Sierra, et autres
Publié: (2025)

Theories of Frege structure equivalent to Feferman's system $\mathsf{T}_0$
par: Hayashi, Daichi
Publié: (2024)

Cyclic system for an algebraic theory of alternating parity automata
par: Das, Anupam, et autres
Publié: (2025)

A discrete-time temporal deontic STIT logic based on interpreted systems
par: Rong, Shuge, et autres
Publié: (2025)

Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models
par: Leneutre, Jean, et autres
Publié: (2024)

Measuring robustness of dynamical systems. Relating time and space to length and precision
par: Blanc, Manon, et autres
Publié: (2023)

Runtime Verification via Rational Monitor with Imperfect Information
par: Ferrando, Angelo, et autres
Publié: (2024)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
par: Rooduijn, Jan, et autres
Publié: (2024)

The Modal Logic of Finitely Symmetry-Preserving Iterated Extensions is Exactly S4
par: Gilson, Frank
Publié: (2025)

Lyndon interpolation property for extensions of $\mathbf{S4}$ and intermediate propositional logics
par: Kurahashi, Taishi
Publié: (2024)

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy
par: De Mol, Liesbeth, et autres
Publié: (2025)

An optimized KE-tableau-based system for reasoning in the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
par: Cantone, Domenico, et autres
Publié: (2018)

Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib)
par: Henson, Christopher, et autres
Publié: (2026)

CHTW-systems with resource-depended parameters. CHTW(R)-systems
par: Chunikhin, Alexander Yu.
Publié: (2024)

Finite Hilbert systems for Weak Kleene logics
par: Greati, Vitor, et autres
Publié: (2024)