MATHEMATICAL LOGICAL INTELLIGENCE

Live / Applied — Non-final action mailed (as of 12 Jan 2026)

What this means for you

Not registered yet, but its 25 Aug 2025 filing date beats anything filed after it. If it registers, the owner can stop confusingly similar uses in the classes it covers.

Record

Serial number
99356388
Mark type
Stylized text
Filed
25 Aug 2025
Attorney of record
Mark A. Jansen, Esq.

Goods and services

  • Class 042 — Scientific and technological services: Software as a service (SaaS) featuring cloud-based artificial intelligence (AI) software for automated reasoning, mathematical computation and assistance, formal proof verification, and analysis of critical systems for business-to-business (B2B) use; Providing online non-downloadable artificial intelligence (AI) software for use in automated reasoning, mathematical computation and assistance, formal proof verification, and analysis of critical systems

Owner

Prosecution history

  • 27 Feb 2026 — TEAS CHANGE OF CORRESPONDENCE RECEIVED
  • 27 Feb 2026 — ATTORNEY/DOM.REP.REVOKED AND/OR APPOINTED
  • 27 Feb 2026 — TEAS REVOKE/APP/CHANGE ADDR OF ATTY/DOM REP RECEIVED
  • 12 Jan 2026 — NOTIFICATION OF NON-FINAL ACTION E-MAILED
  • 12 Jan 2026 — NON-FINAL ACTION E-MAILED
  • 12 Jan 2026 — NON-FINAL ACTION WRITTEN
  • 09 Jan 2026 — ASSIGNED TO EXAMINER
  • 25 Aug 2025 — APPLICATION FILING RECEIPT MAILED
  • 25 Aug 2025 — NEW APPLICATION OFFICE SUPPLIED DATA ENTERED
  • 25 Aug 2025 — NEW APPLICATION ENTERED

View this trademark record on Marksy