wiki
Search
Search
Dark mode
Light mode
Explorer
Tag: logic
6 items with this tag.
May 24, 2026
Higher-Order Logic
logic
type-theory
formal-methods
May 24, 2026
Automata-Theoretic Logic
formal-methods
temporal-logic
automata
logic
May 24, 2026
Second-Order Logic
logic
model-theory
formal-methods
May 24, 2026
Linear Temporal Logic
logic
verification
temporal-logic
May 24, 2026
Intuitionistic Logic
logic
proof-theory
formal-methods
May 22, 2026
Situation Calculus
logic
action
reasoning-about-change