An Equation-Based Classical Logic

DOI10.1007/978-3-662-47709-0_4zbMath1465.03069OpenAlexW1415925650MaRDI QIDQ2947458

Andreia Mordido, Carlos Caleiro

Publication date: 24 September 2015

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-47709-0_4

zbMATH Keywords

completenessequational logicdecidabilityclassical logic

Mathematics Subject Classification ID

Cryptography (94A60) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Grammars and rewriting systems (68Q42)

Related Items (1)

Probabilistic logic over equations and domain restrictions

Cites Work

• A survey of symbolic methods in computational analysis of cryptographic systems
• Deciding knowledge in security protocols under equational theories
• Probabilistic logic
• A logic for reasoning about probabilities
• Solving SAT and SAT Modulo Theories
• Term Rewriting and All That
• Unnamed Item

This page was built for publication: An Equation-Based Classical Logic