Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Logic

Universality of Quantum Turing Machines With Deterministic Control

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2015English

Non-Cuppable Enumeration Degrees via Finite Injury

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2011English

Tame Expansions of $\Omega$ -Stable Theories and Definable Groups

Notre Dame Journal of Formal Logic
Logic
2019English

Enumeration $1$ -Genericity in the Local Enumeration Degrees

Notre Dame Journal of Formal Logic
Logic
2018English

Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks

Studia Logica
Philosophy of ScienceLogicHistory
2018English

Hilbert-Style Presentations of Two Logics Associated to Tetravalent Modal Algebras

Studia Logica
Philosophy of ScienceLogicHistory
2013English

40 Years of FDE: An Introductory Overview

Studia Logica
Philosophy of ScienceLogicHistory
2017English

Conditioning and Interpretation Shifts

Studia Logica
Philosophy of ScienceLogicHistory
2012English

The Weak Choice Principle WISC May Fail in the Category of Sets

Studia Logica
Philosophy of ScienceLogicHistory
2015English

Provably True Sentences Across Axiomatizations of Kripke’s Theory of Truth

Studia Logica
Philosophy of ScienceLogicHistory
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy