MPG.eBooks - Search Results - ("notification" OR "justification")

1

Published 2009

Springer Berlin Heidelberg

Table of Contents: “...-deterministic ?-Calculus -- The NP-Completeness of Reflected Fragments of Justification Logics -- Taming Modal...”

2

Published 2013

Springer Berlin Heidelberg

Table of Contents: “... and justification -- Nonmonotonic reasoning -- Logic in game theory and social software -- Logic of hybrid systems...”

3

Published 2016

Springer International Publishing

Table of Contents: “... -- Logics of proof and justification -- Non-monotonic reasoning -- Logic in game theory and social software...”

4

Published 2018

Springer International Publishing

Table of Contents: “... -- Logics of proof and justification -- Non-monotonic reasoning -- Logic in game theory and social software...”

5

Published 2022

Springer International Publishing

Table of Contents: “... -- The Isomorphism Problem for FST Injection Structures -- Justification Logic and Type Theory as Formalizations...”

6

Published 2020

Springer International Publishing

“... and justification; non-monotonic reasoning; logic in game theory and social software; logic of hybrid systems...”