PP-2011-25: Logic between Expressivity and Complexity

PP-2011-25: van Benthem, Johan (2011) Logic between Expressivity and Complexity. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (93kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (468B)


Automated deduction is not just application or implementation of
logical systems. The field of computational logic also poses deep
challenges to our understanding of logic itself. I will discuss some
key issues. This text is just an appetizer that will be elaborated in
the lecture.

Item Type: Report
Report Nr: PP-2011-25
Series Name: Prepublication (PP) Series
Year: 2011
Uncontrolled Keywords: modal logic, dynamic logic, expressive power, complexity, bisimulation, fragments, computational logic
Subjects: Logic
Depositing User: Johan van Benthem
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/429

Actions (login required)

View Item View Item