Cover Image

Secrecy, Content, and Quantification

Fuente: Redalyc

Saved in:

Bibliographic Details
Main Author:	Thomas Macaulay Ferguson
Format:	Artículo científico
Language:	en
Published:	Sociedad Argentina de Análisis Filosófico 2021
Subjects:	Filosofía Strict Quantifiers Immune Logic Tolerant Logic Weak Kleene Logic
Online Access:	Acceder al recurso 1 Acceder al recurso 2 Acceder al recurso 3 Acceder al recurso 4 Acceder al recurso 5 Acceder al recurso 6
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Capturing relational NEXPTIME with a Fragment of Existential Third Order Logic
by: José M. Turull-Torres
Published: (2015)

The Logical Writings of Karl Popper
Published: (2022)

Topics, Non-Uniform Substitutions, and Variable Sharing
by: Standefer, Shawn, et al.
Published: (2024)

A Logic of Secrecy on Simplicial Models
by: Wang, Shanxia
Published: (2026)

Modal Logic for Reasoning About Uncertainty and Confusion
by: Bílková, Marta, et al.
Published: (2025)

Inferentialism and Relevance: The Case of Connexivity
by: Damian Szmuc
Published: (2021)

From Ethnobotany to Immunometabolism: Network Pharmacology Analysis of Nigerian Medicinal Plants as Modulators of Immune-Metabolic Pathways in Obesity and Type 2 Diabetes
by: Jesutofunmi Adeyemi Samson
Published: (2026)

CDT: The Critical Distinction Trichotomy
by: Allen, Kearon
Published: (2026)

Tolerance and the Bounds
by: Rohan French
Published: (2021)

Tableaux for epistemic Gödel logic
by: Bílková, Marta, et al.
Published: (2025)

Simple tableaux for two expansions of Gödel modal logic
by: Bilkova, Marta, et al.
Published: (2024)

PARACONSISTENCY, EVIDENCE AND SEMANTIC INCOMPLETENESS
by: Edson Bezerra
Published: (2024)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
by: Powell, Thomas
Published: (2023)

Consistent Update Synthesis via Privatized Beliefs
by: Schlögl, Thomas, et al.
Published: (2024)

Existential and positive games: a comonadic and axiomatic view
by: Abramsky, Samson, et al.
Published: (2025)

Chapter A proposito di quantificatori indefiniti di massa in polacco
by: Cotta Ramusino, Paola
Published: (2022)

List types for resource aware languages: an implicit name approach
by: Ghilezan, Silvia, et al.
Published: (2021)

Bijective proofs for Eulerian numbers of types B and D
by: Santocanale, Luigi
Published: (2021)

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
by: de Groot, Jim, et al.
Published: (2021)

Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations
by: Hartonas, Chrysafis
Published: (2021)

Computing with Infinite Objects: the Gray Code Case
by: Spreen, Dieter, et al.
Published: (2021)

Cyclic Implicit Complexity
by: Curzi, Gianluca, et al.
Published: (2021)

The Pebble-Relation Comonad in Finite Model Theory
by: Montacute, Yoàv, et al.
Published: (2021)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
by: Oda, Yukihiro, et al.
Published: (2021)

Dynamic Cantor Derivative Logic
by: Fernández-Duque, David, et al.
Published: (2021)

On Small Types in Univalent Foundations
by: de Jong, Tom, et al.
Published: (2021)

Universal Horn Sentences and the Joint Embedding Property
by: Bodirsky, Manuel, et al.
Published: (2021)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
by: Livson, Ori, et al.
Published: (2025)

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

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)

Demystifying $μ$
by: Afshari, Bahareh, et al.
Published: (2024)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
by: Artale, Alessandro, et al.
Published: (2025)

Proof-theoretic Semantics for Second-order Logic
by: Gheorghiu, Alexander V., et al.
Published: (2025)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
by: Afshari, Bahareh, et al.
Published: (2024)

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

Generalized Decidability via Brouwer Trees
by: de Jong, Tom, et al.
Published: (2026)

Constructive higher sheaf models with applications to synthetic mathematics
by: Coquand, Thierry, et al.
Published: (2026)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
by: Herbelin, Hugo
Published: (2024)

The strength of the dominance rule
by: Kołodziejczyk, Leszek Aleksander, et al.
Published: (2024)

Dynamic Probability Logic: Decidability & Computability
by: Chopoghloo, Somayeh, et al.
Published: (2024)