Logic between Expressivity and Complexity

DOI10.1007/978-3-642-14203-1_10zbMath1291.03021OpenAlexW1506199103MaRDI QIDQ5747755

J. F. A. K. van Benthem

Publication date: 14 September 2010

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14203-1_10

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cites Work

• Unnamed Item
• A new modal Lindström theorem
• Modal languages and bounded fragments of predicate logic
• Guards, bounds, and generalized semantics
• Lindstrom theorems for fragments of first-order logic
• Minimal predicates, fixed-points, and definability

This page was built for publication: Logic between Expressivity and Complexity