Works matching IS 13670751 AND DT 2015 AND VI 23 AND IP 5
Results: 32
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Grisha Mints: For WoLLIC 2014, Valparaiso, Chile.
- Published in:
- 2015
- By:
- Publication type:
- Obituary
Grisha Mints: For WoLLIC 2014, Valparaiso, Chile.
- Published in:
- 2015
- By:
- Publication type:
- Obituary
21st Workshop on Logic, Language, Information and Computation (WoLLIC 2014).
- Published in:
- 2015
- By:
- Publication type:
- Proceeding
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