|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
21 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Logical Model of the Dynamics of Peer Pressure |
Zhen, Liang |
2011 |
278 | C |
p. 275-288 14 p. |
artikel |
|
| 2 | An Epistemic Logic of Extensive Games |
Lorini, Emiliano |
2011 |
278 | C |
p. 245-260 16 p. |
artikel |
|
| 3 | An Epistemic Predicate CTL * for Finite Control π-Processes |
Guelev, Dimitar P. |
2011 |
278 | C |
p. 229-243 15 p. |
artikel |
|
| 4 | A Rooted Tableau for BCTL* |
McCabe-Dansted, John Christopher |
2011 |
278 | C |
p. 145-158 14 p. |
artikel |
|
| 5 | A Tableau Calculus for Minimal Modal Model Generation |
Papacchini, Fabio |
2011 |
278 | C |
p. 159-172 14 p. |
artikel |
|
| 6 | Clausal Tableaux for Hybrid PDL |
Kaminski, Mark |
2011 |
278 | C |
p. 99-113 15 p. |
artikel |
|
| 7 | Expressive Completeness for LTL With Modulo Counting and Group Quantifiers |
Sreejith, A.V. |
2011 |
278 | C |
p. 201-214 14 p. |
artikel |
|
| 8 | Expressiveness of Hybrid Temporal Logic on Data Words |
Kara, Ahmet |
2011 |
278 | C |
p. 115-128 14 p. |
artikel |
|
| 9 | LotrecScheme |
Schwarzentruber, François |
2011 |
278 | C |
p. 187-199 13 p. |
artikel |
|
| 10 | Neighborhood-Sheaf Semantics for First-Order Modal Logic |
Kishida, Kohei |
2011 |
278 | C |
p. 129-143 15 p. |
artikel |
|
| 11 | On a Logic for Coalitional Games with Priced-Resource Agents |
Della Monica, Dario |
2011 |
278 | C |
p. 215-228 14 p. |
artikel |
|
| 12 | Open and Closed Questions in Decision-making |
Xiong, Zuojun |
2011 |
278 | C |
p. 261-274 14 p. |
artikel |
|
| 13 | Paraconsistent Modal Logics |
Rivieccio, Umberto |
2011 |
278 | C |
p. 173-186 14 p. |
artikel |
|
| 14 | Preface |
van Ditmarsch, Hans |
2011 |
278 | C |
p. 1-2 2 p. |
artikel |
|
| 15 | Preferential Reasoning for Modal Logics |
Britz, Katarina |
2011 |
278 | C |
p. 55-69 15 p. |
artikel |
|
| 16 | Query Answering with DBoxes is Hard |
Franconi, Enrico |
2011 |
278 | C |
p. 71-84 14 p. |
artikel |
|
| 17 | Refinement Quantified Logics of Knowledge |
Hales, James |
2011 |
278 | C |
p. 85-98 14 p. |
artikel |
|
| 18 | Tableau Method and NEXPTIME-Completeness of DEL-Sequents |
Aucher, Guillaume |
2011 |
278 | C |
p. 17-30 14 p. |
artikel |
|
| 19 | The Closed Fragment of IL is PSPACE Hard |
Bou, Félix |
2011 |
278 | C |
p. 47-54 8 p. |
artikel |
|
| 20 | Two-sorted Point-Interval Temporal Logics |
Balbiani, Philippe |
2011 |
278 | C |
p. 31-45 15 p. |
artikel |
|
| 21 | Unsorted Functional Translations |
Areces, Carlos |
2011 |
278 | C |
p. 3-16 14 p. |
artikel |
21 gevonden resultaten