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