|
23
|
A Finite Model Construction For Coalgebraic Modal Logic
– Lutz Schröder
|
|
136
|
Modal Logic
– Brian F Chellas
- 1980
|
|
121
|
A Modal Logic for Coalitional Power in Games
– Marc Pauly
- 2002
|
|
57
|
Specifying coalgebras with modal logic
– Alexander Kurz
- 2001
|
|
353
|
Modal Logic
– P Blackburn, M de Rijke, Y Venema
- 2001
|
|
279
|
Universal coalgebra: a theory of systems
– J. J. M. M. Rutten
- 2000
|
|
26
|
Probability Logic for Type Spaces
– A Heifetz, P Mongin
|
|
371
|
Bisimulation through probabilistic testing
– Kim G. Larsen, Arne Skou
- 1989
|
|
127
|
Reasoning about Knowledge and Probability
– Ronald Fagin, Joseph Y. Halpern
- 1994
|
|
12
|
PSPACE reasoning for rank-1 modal logics
– L Schröder, D Pattinson
- 2006
|
|
51
|
Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
– B. P. F. Jacobs, Bart Jacobs
- 2001
|
|
12
|
Rank-1 modal logics are coalgebraic
– Lutz Schröder, Dirk Pattinson
- 2007
|
|
27
|
Semantical Principles in the Modal Logic of Coalgebraic
– Dirk Pattinson
|
|
24
|
Expressive Logics for Coalgebras via Terminal Sequence Induction
– Dirk Pattinson, D- Mnchen
- 2002
|
|
20
|
Finality Regained - A Coalgebraic Study of Scott-sets and Multisets
– Giovanna D'Agostino, Albert Visser
- 1999
|
|
14
|
Presburger modal logic is only PSPACE-complete
– S Demri, D Lugiez
- 2006
|
|
13
|
so many possible worlds
– In
- 1972
|
|
85
|
Coalgebraic Logic
– Lawrence S. Moss
- 1999
|
|
23
|
PSPACE bounds for rank 1 modal logics
– Lutz Schröder, Dirk Pattinson
- 2006
|
