On Distributed Stochastic Logics for Mobile Systems.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 858, doi. 10.1093/jigpal/jzv022
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2015 AND VI 23 AND IP 5
Results: 32
1
2
Relative expressive power of navigational querying on graphs using transitive closure.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 759, doi. 10.1093/jigpal/jzv028
- By:
- Publication type:
- Article
3
Base-extension semantics for intuitionistic sentential logic.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 719, doi. 10.1093/jigpal/jzv021
- By:
- Publication type:
- Article
4
Reduction of provability logics to Σ<sub>1</sub>-provability logics.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 842, doi. 10.1093/jigpal/jzv031
- By:
- Publication type:
- Article
5
Logical consistency in simultaneous tatistical test procedures.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 732, doi. 10.1093/jigpal/jzv027
- By:
- Publication type:
- Article
6
On the Broader Epistemological Significance of Self-Justifying Axiom Systems.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 859, doi. 10.1093/jigpal/jzv022
- By:
- Publication type:
- Article
7
On the Construction of Analytic Sequent Calculi for Sub-classical Logics.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 858, doi. 10.1093/jigpal/jzv022
- By:
- Publication type:
- Article
8
A general framework for product epresentations: bilattices and beyond.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 816, doi. 10.1093/jigpal/jzv030
- By:
- Publication type:
- Article
9
Common Knowledge Semantics of Armstrongs Axioms.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 858, doi. 10.1093/jigpal/jzv022
- By:
- Publication type:
- Article
10
Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 857, doi. 10.1093/jigpal/jzv022
- By:
- Publication type:
- Article
11
A Calculus of Anyons.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 857, doi. 10.1093/jigpal/jzv022
- By:
- Publication type:
- Article
12
Ancestral Logic: A Proof Theoretical Study.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 857, doi. 10.1093/jigpal/jzv022
- By:
- Publication type:
- Article
13
Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 856, doi. 10.1093/jigpal/jzv022
- By:
- Publication type:
- Article
14
Interrogative Dependencies and the Constructive Content of Inquisitive Proofs.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 856, doi. 10.1093/jigpal/jzv022
- By:
- Publication type:
- Article
15
Sequentialization for N-Graphs via Sub-N-Graphs.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 856, doi. 10.1093/jigpal/jzv022
- By:
- Publication type:
- Article
16
Reinstatement and the Requirement of Maximal Specificity in Argument Systems.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 855, doi. 10.1093/jigpal/jzv022
- By:
- Publication type:
- Article
17
Logics with Copy and Remove.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 855, doi. 10.1093/jigpal/jzv022
- By:
- Publication type:
- Article
18
Unranked Second-Order Anti-Unification.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 855, doi. 10.1093/jigpal/jzv022
- By:
- Publication type:
- Article
19
On the Value of Variables.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 854, doi. 10.1093/jigpal/jzv022
- By:
- Publication type:
- Article
20
Definability for Downward and Vertical XPath on Data Trees.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 854, doi. 10.1093/jigpal/jzv022
- By:
- Publication type:
- Article
21
Backward Deterministic Büchi Automata.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 854, doi. 10.1093/jigpal/jzv022
- By:
- Publication type:
- Article
22
Modal and Temporal Deduction Systems for Quantum State Transformations.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 854, doi. 10.1093/jigpal/jzv022
- By:
- Publication type:
- Article
23
Intersection Types for Normalization and Verification.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 853, doi. 10.1093/jigpal/jzv022
- By:
- Publication type:
- Article
24
Syntax and Semantics for Translation.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 853, doi. 10.1093/jigpal/jzv022
- By:
- Publication type:
- Article
25
Dependence Logic.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 853, doi. 10.1093/jigpal/jzv022
- By:
- Publication type:
- Article
26
On Normal Numbers.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 852, doi. 10.1093/jigpal/jzv022
- By:
- Publication type:
- Article
27
Symbolic Analysis of Internet Security Protocols and Services.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 852, doi. 10.1093/jigpal/jzv022
- By:
- Publication type:
- Article
28
Tutorial: Grammatical Framework.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 851, doi. 10.1093/jigpal/jzv022
- By:
- Publication type:
- Article
29
Grisha Mints: For WoLLIC 2014, Valparaiso, Chile.
- Published in:
- 2015
- By:
- Publication type:
- Obituary
30
Grisha Mints: For WoLLIC 2014, Valparaiso, Chile.
- Published in:
- 2015
- By:
- Publication type:
- Obituary
31
21st Workshop on Logic, Language, Information and Computation (WoLLIC 2014).
- Published in:
- 2015
- By:
- Publication type:
- Proceeding
32
Nested sequents for provability logic GLP.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 789, doi. 10.1093/jigpal/jzv029
- By:
- Publication type:
- Article