nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A History of Until
|
Masini, Andrea |
|
2010 |
262 |
C |
p. 189-204 16 p. |
artikel |
2 |
A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus
|
Benevides, Mario R.F. |
|
2010 |
262 |
C |
p. 49-64 16 p. |
artikel |
3 |
A Solver for Modal Fixpoint Logics
|
Friedmann, Oliver |
|
2010 |
262 |
C |
p. 99-111 13 p. |
artikel |
4 |
A Tableau Method for Checking Rule Admissibility in S4
|
Babenyshev, Sergey |
|
2010 |
262 |
C |
p. 17-32 16 p. |
artikel |
5 |
Coalition Description Logic with Individuals
|
Seylan, İnanç |
|
2010 |
262 |
C |
p. 231-248 18 p. |
artikel |
6 |
Controller/Orchestrator Synthesis via Filtration
|
Balbiani, Philippe |
|
2010 |
262 |
C |
p. 33-48 16 p. |
artikel |
7 |
CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity
|
Alenda, Régis |
|
2010 |
262 |
C |
p. 3-16 14 p. |
artikel |
8 |
Embedding Constructive K into Intuitionistic K
|
Ranalter, Kurt |
|
2010 |
262 |
C |
p. 205-219 15 p. |
artikel |
9 |
Monadic Σ 1 1 and Modal Logic with Quantified Binary Relations
|
Hella, Lauri |
|
2010 |
262 |
C |
p. 173-188 16 p. |
artikel |
10 |
OOPS: An S5n Prover for Educational Settings
|
van Valkenhoef, Gert |
|
2010 |
262 |
C |
p. 249-261 13 p. |
artikel |
11 |
Optimizing Conditional Logic Reasoning within CoLoSS
|
Hausmann, Daniel |
|
2010 |
262 |
C |
p. 157-171 15 p. |
artikel |
12 |
Preface
|
Bolander, Thomas |
|
2010 |
262 |
C |
p. 1-2 2 p. |
artikel |
13 |
Simulation and Synthesis of Deduction Calculi
|
Schmidt, Renate A. |
|
2010 |
262 |
C |
p. 221-229 9 p. |
artikel |
14 |
Spartacus: A Tableau Prover for Hybrid Logic
|
Götzmann, Daniel |
|
2010 |
262 |
C |
p. 127-139 13 p. |
artikel |
15 |
Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis
|
Goranko, Valentin |
|
2010 |
262 |
C |
p. 113-125 13 p. |
artikel |
16 |
Terminating Tableaux for Dynamic Epistemic Logics
|
Hansen, Jens Ulrik |
|
2010 |
262 |
C |
p. 141-156 16 p. |
artikel |
17 |
Two Ways to Common Knowledge
|
Bucheli, Samuel |
|
2010 |
262 |
C |
p. 83-98 16 p. |
artikel |
18 |
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings
|
Bresolin, Davide |
|
2010 |
262 |
C |
p. 65-81 17 p. |
artikel |