Imagen de Portada

A Counting Logic for Trees

Fuente: Redalyc

Guardado en:

Detalles Bibliográficos
Autor principal:	Everardo Bárcenas
Formato:	Artículo científico
Lenguaje:	en
Publicado:	Instituto Politécnico Nacional 2015
Materias:	Computación arith XPath modal logics formal languages Automated reasoning
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

The First Rule of Stoic Logic and its Relationship with the Indemonstrables
por: Miguel López-Astorga
Publicado: (2016)

Branching Path Planning with Modal Logics
por: Everardo Bárcenas
Publicado: (2017)

The Relation Between Formal Validity and Epistemic Legitimacy in Modal Arguments with Strong Ontological Consequences
por: Kozłowski, Kornel
Publicado: (2026)

(Hyper)sequent Calculi for the ALC(S4) Description Logics
por: Juan Pablo Muñoz
Publicado: (2016)

LETTER FROM THE EDITORS
por: Andoni Ibarra
Publicado: (2016)

Illustrating a neural model of logic computations: The case of Sherlock Holmes’ old maxim
por: Eduardo Mizraji
Publicado: (2016)

Frontiers of Combining Systems
Publicado: (2023)

Automated Deduction – CADE 29
Publicado: (2023)

A Logic Programming Approach to the Conservation of Buildings Based on an Extension of the Eindhoven Classification Model
por: Guida Gomes
Publicado: (2013)

Inferences Between Buridan’s Modal Propositions
por: Jonas Dagys
Publicado: (2022)

Phase Transition of Logic: Experimental Observation of Logical Collapse in Transformer Hidden Spaces
por: Wang, Zhongren
Publicado: (2025)

Informal Logic
Publicado: (2008)

Remarks on the Idea of Non-monotonic (Diagrammatic) Inference
por: J. Martín Castro-Manzano
Publicado: (2017)

ON THE POSSIBILITY OF A GENERAL PURGE OF SELF-REFERENCE
por: Lucas Rosemblatt
Publicado: (2012)

El nihilismo modal frente al argumento de McFetridge a favor de la necesidad de la creencia en la necesidad
por: José Edgar González Varela
Publicado: (2013)

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Publicado: (2018)

Automated Reasoning with Analytic Tableaux and Related Methods
Publicado: (2023)

EL CUADRADO DE OPOSICIÓN COMO INSTRUMENTO DE LA LÓGICA : SU USO Y APLICACIONES EN TOMÁS DE MERCADO
por: Juan Manuel Campos Benítez
Publicado: (2008)

Inquisitive Logic
por: Ciardelli, Ivano
Publicado: (2023)

Methodology for the Synthesis of Automata in the Planning of Movements for Autonomous Systems with Multiple Agents
por: Jorge Luis Martínez-Valencia
Publicado: (2021)

Contingentism about Individuals and Higher-Order Necessitism
por: MANUEL PÉREZ OTERO
Publicado: (2013)

A Preliminary Reification of Argument Theory Change
por: Nicolás D. Rotstein
Publicado: (2008)

CONDITIONALS AND DISJUNCTIONS IN MENTAL-LOGIC THEORY: A RESPONSE TO LIU AND CHOU (2012) AND TO LÓPEZ ASTORGA (2013)
por: David P. O’Brien
Publicado: (2014)

REAL-AI-Benchmark: Real-World Reasoning and Physical-AI Benchmark Suite
por: Ivković, Jovan
Publicado: (2026)

Factors propelling mathematics learning: insights from a quantitative empirical study
por: Popova, Yuliya, et al.
Publicado: (2024)

Sémantique formelle: Volume 1
por: Roussarie, Laurent
Publicado: (2018)

A Completeness of Metrics for Topological Relations in 3D Qualitative Spatial Reasoning
por: Chaman L. Sabharwal
Publicado: (2015)

A framework for the consensus decision-making based on arguments and common knowledge formation
por: Ayslan Trevizan Possebom
Publicado: (2019)

An Implementation of Propositional Logic Resolution Applying a Novel Specific Algebra
por: Eduardo Zurek
Publicado: (2015)

THE CONCEPT OF IDENTITY AND ITS STATUS IN SOCIAL PHILOSOPHY
por: Aitbayeva A.
Publicado: (2025)

Aristotle and Boethius: Two Theses and Their Possibilities
por: Miguel López-Astorga
Publicado: (2021)

Homotopical inverse diagrams in categories with attributes
por: Kapulkin, Chris, et al.
Publicado: (2018)

Computer Aided Verification
Publicado: (2023)

Equilibrium Logic: A Computable Three-Valued System for Self-Referential Undecidability
por: Mikhail, Vasilyev
Publicado: (2025)

A rule-based argumentation framework for distributed contextual reasoning in dynamic environments
por: Helio Henrique Lopes Costa Monte-Alto
Publicado: (2021)

Theatrical Compliance: A Failure Mode in Large Language Models
por: Nowickij (Navitski), Kirill Vladimirovich
Publicado: (2026)

La fenomenología del lenguaje y el concepto de la razón práctica en el pensamiento de Charles Taylor
por: Carlos Medina
Publicado: (2014)

Fundamental Approaches to Software Engineering
Publicado: (2018)

Comparing semantic frameworks for dependently-sorted algebraic theories
por: Ahrens, Benedikt, et al.
Publicado: (2024)

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Publicado: (2018)