Conceptio
›
logic-in-computer-science
Topic
logic-in-computer-science
Knowledge-graph topic
· documents ABOUT logic-in-computer-science across the archive
325
Documents about logic-in-computer-science
Documents about logic-in-computer-science
Subgroup Accessibility in Group Order Logic
#819943
arXiv (All)
Univalence without function extensionality
#926020
arXiv (All)
Set-like operations on propositional logic programs
#926024
arXiv (All)
Internalized Truth in Reflective Grounded Arithmetic
#618874
arXiv (OAI Expanded)
Internalized Truth in Reflective Grounded Arithmetic
#620553
arXiv (All)
Possibilistic Computation Tree Logic: Decidability and Complete Axiomatization
#668346
arXiv (OAI Expanded)
Possibilistic Computation Tree Logic: Decidability and Complete Axiomatization
#670411
arXiv (All)
Logic in mathematics and computer science
#88793
PhilArchive
Computation and Concurrency
#149182
arXiv (OAI)
A meta-modal logic for bisimulations
#139214
arXiv (OAI)
A Naive Encoding of Russell's Paradox in Type Theory
#633360
arXiv (OAI Expanded)
A Naive Encoding of Russell's Paradox in Type Theory
#635709
arXiv (All)
Modalities in non-classical variations of $\mathsf{S4}$
#820749
arXiv (All)
Warrant Theory
#999362
arXiv (All)
Medvedev Logic is Not Decidable. It is π01 -complete. Who Would Have Guessed?
#999097
arXiv (All)
The Temporal Logic Synthesis Format TLSF v1.2
#141616
arXiv (OAI)
Simplicial Actions for Distributed Protocols
#623153
arXiv (OAI Expanded)
Simplicial Actions for Distributed Protocols
#625426
arXiv (All)
Exponential Gaps Between Intuitionistic Linear Extended Frege Systems
#809874
arXiv (OAI Expanded)
Exponential Gaps Between Intuitionistic Linear Extended Frege Systems
#819870
arXiv (All)
Modal Logic Neural Networks
#972998
arXiv (All)
Tag-system computation using only powers and principal logarithms
#1011208
arXiv (All)
Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
#155603
arXiv (OAI)
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
#144320
arXiv (OAI)
A categorical formulation of Kraus' paradox
#799817
arXiv (All)
Theories of Truly Concurrent Processes
#633520
arXiv (OAI Expanded)
Theories of Truly Concurrent Processes
#635869
arXiv (All)
Feasible disjunction for random resolution
#997605
arXiv (All)
Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
#149154
arXiv (OAI)
Extensions of Courcelle's Theorem without Logic
#661205
arXiv (OAI Expanded)
Extensions of Courcelle's Theorem without Logic
#662255
arXiv (All)
Quantified propositional calculi and narrow implicit proofs
#820505
arXiv (All)
Convex algebras on an interval with semicontinuous monotone operations
#998142
arXiv (All)
Logic-VLA: A Temporal Logic Conditioned Vision-Language-Action Model
#656984
arXiv (OAI Expanded)
Logic-VLA: A Temporal Logic Conditioned Vision-Language-Action Model
#659120
arXiv (All)
Quasi-Matrix Deontic Logic. In: 7th International Workshop on Deontic Logic in Computer Science, Madeira, Portugal, 2004
#71050
PhilArchive
Computation by infinite descent made explicit
#141771
arXiv (OAI)
Intuitionistic BV (Extended version)
#163130
arXiv (OAI)
Antichains for Concurrent Parameterized Games (Long Version)
#971689
arXiv (All)
A Practical Quantum Hoare Logic with Classical Variables, I
#153018
arXiv (OAI)
First Order Logic on Pathwidth Revisited Again
#189008
arXiv
First Order Logic on Pathwidth Revisited Again
#189058
arXiv Biology
First Order Logic on Pathwidth Revisited Again
#189108
arXiv (OAI Expanded)
First Order Logic on Pathwidth Revisited Again
#189158
arXiv (OAI)
A SAT Attack on Tarski's High School Algebra Problem
#920984
arXiv (OAI Expanded)
A SAT Attack on Tarski's High School Algebra Problem
#925219
arXiv (All)
A Lindström Theorem for Fitting's Modal Logic over a Finite Heyting Algebra
#618749
arXiv (OAI Expanded)
A Lindström Theorem for Fitting's Modal Logic over a Finite Heyting Algebra
#620428
arXiv (All)
Abstract computation over first-order structures. Extras: From programs to decision trees I
#656860
arXiv (OAI Expanded)
Abstract computation over first-order structures. Extras: From programs to decision trees I
#658996
arXiv (All)
Page 1 of 8
Next →
Related topics
algebraic-geometry
5
algebraic-topology
5
analysis-of-pdes
5
applications
5
applied-physics
5
classical-analysis-and-odes
5
combinatorics
5
computation
5
Topic record
· derived from the Conceptio knowledge graph (shared subject terms across the corpus)
Conceptio Open Knowledge Archive — topic hubs link to canonical document pages with full provenance.