Result 1 to 20 of 889 total
Semi-stable semantics. (English)
J. Log. Comput. 22, No. 5, 1207-1254 (2012).
1
Writing out unifiers in linear temporal logic. (English)
J. Log. Comput. 22, No. 5, 1199-1206 (2012).
2
Cut elimination and realization for epistemic logics with justification. (English)
J. Log. Comput. 22, No. 5, 1171-1198 (2012).
3
Complexity classifications for propositional abduction in Post’s framework. (English)
J. Log. Comput. 22, No. 5, 1145-1170 (2012).
4
Expressible preferential logics. (English)
J. Log. Comput. 22, No. 5, 1125-1143 (2012).
5
Embedding-based approaches to paraconsistent and temporal description logics. (English)
J. Log. Comput. 22, No. 5, 1097-1124 (2012).
6
Temporal logics of repeating values. (English)
J. Log. Comput. 22, No. 5, 1059-1096 (2012).
7
Revising option status in argument-based decision systems. (English)
J. Log. Comput. 22, No. 5, 1019-1058 (2012).
8
Using argumentation to reason about trust and belief. (English)
J. Log. Comput. 22, No. 5, 979-1018 (2012).
9
A formal analysis of the role of argumentation in negotiation dialogues. (English)
J. Log. Comput. 22, No. 5, 957-978 (2012).
10
Embedding countable partial orderings in the enumeration degrees and the $ω$-enumeration degrees. (English)
J. Log. Comput. 22, No. 4, 927-952 (2012).
11
$\cal M^{2}$-computable real numbers. (English)
J. Log. Comput. 22, No. 4, 899-925 (2012).
12
Prompt enumerations and relative randomness. (English)
J. Log. Comput. 22, No. 4, 877-897 (2012).
13
Properties of the jump classes. (English)
J. Log. Comput. 22, No. 4, 845-855 (2012).
14
Non-cuppable enumeration degrees via finite injury. (English)
J. Log. Comput. 22, No. 4, 807-829 (2012).
15
Embedding distributive lattices in the $Σ^{0}_{2}$ enumeration degrees. (English)
J. Log. Comput. 22, No. 4, 779-792 (2012).
16
Low linear orderings. (English)
J. Log. Comput. 22, No. 4, 745-754 (2012).
17
Turing and enumeration jumps in the Ershov hierarchy. (English)
J. Log. Comput. 22, No. 4, 737-743 (2012).
18
Least enumerations of partial structures. (English)
J. Log. Comput. 22, No. 4, 717-735 (2012).
19
Separations of non-monotonic randomness notions. (English)
J. Log. Comput. 22, No. 4, 701-715 (2012).
20
Result 1 to 20 of 889 total
Start
Contact
Print
General Help
