Concepedia

Sebastian Enqvist

SE

8

Publications

122

Citations

8

H-Index

2009

Active since

Affiliations

University of Amsterdam(Current)

Stockholm University

Lund University

Tsinghua University

Sebastian Enqvist is an author at University of Amsterdam specializing in automated reasoning, engineering, and language studies.

Top concepts

Automated ReasoningEngineeringLanguageSemanticsFormal MethodsGamesGame TheoryLinguisticsFormal LogicComputer Science

Publications per year

2009–2019

8

Publications

8

INSTANTIAL NEIGHBOURHOOD LOGIC

Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist et al. · The Review of Symbolic Logic · 2016 · 27 citations · Full text

Engineering, Instantial Neighbourhood Logic, Higher-order Logic +16

Interrogative Belief Revision Based on Epistemic Strategies

Sebastian Enqvist · Studia Logica · 2012 · 18 citations

Cognitive Science, Engineering, Automated Reasoning +8

Socially Friendly and Group Protecting Coalition Logics

Valentin Goranko, Sebastian Enqvist · 2018 · 16 citations · Full text

Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras

Sebastian Enqvist, Fatemeh Seifan, Yde Venema · 2015 · 13 citations

Algebraic Logic, Engineering, Monotone Modal Logic +9

A New Game Equivalence, its Logic and Algebra

Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist · Journal of Philosophical Logic · 2018 · 13 citations · Full text

Mechanism Design, Non-cooperative Game Theory, Game Equivalence +13

Rows per page

1–5 of 8