Effective Cut-elimination for a Fragment of Modal mu-calculus.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 279, doi. 10.1007/s11225-012-9378-y
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2012 AND VI 100 AND IP 1/2
Results: 21
1
2
Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 289, doi. 10.1007/s11225-012-9379-x
- By:
- Publication type:
- Article
3
BK-lattices. Algebraic Semantics for Belnapian Modal Logics.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 319, doi. 10.1007/s11225-012-9380-4
- By:
- Publication type:
- Article
4
The Dual Adjunction between MV-algebras and Tychonoff Spaces.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 253, doi. 10.1007/s11225-012-9377-z
- By:
- Publication type:
- Article
5
Priestley Duality for Bilattices.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 223, doi. 10.1007/s11225-012-9376-0
- By:
- Publication type:
- Article
6
Frontal Operators in Weak Heyting Algebras.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 91, doi. 10.1007/s11225-012-9390-2
- By:
- Publication type:
- Article
7
Not Every Splitting Heyting or Interior Algebra is Finitely Presentable.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 115, doi. 10.1007/s11225-012-9391-1
- By:
- Publication type:
- Article
8
Impugning Randomness, Convincingly.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 193, doi. 10.1007/s11225-012-9375-1
- By:
- Publication type:
- Article
9
Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 339, doi. 10.1007/s11225-012-9381-3
- By:
- Publication type:
- Article
10
Sahlqvist Correspondence for Modal mu-calculus.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 31, doi. 10.1007/s11225-012-9388-9
- By:
- Publication type:
- Article
11
Topological Proofs of Some Rasiowa-Sikorski Lemmas.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 175, doi. 10.1007/s11225-012-9374-2
- By:
- Publication type:
- Article
12
Kripke Sheaf Completeness of some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 361, doi. 10.1007/s11225-012-9382-2
- By:
- Publication type:
- Article
13
Extendible Formulas in Two Variables in Intuitionistic Logic.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 61, doi. 10.1007/s11225-012-9389-8
- By:
- Publication type:
- Article
14
The Second Incompleteness Theorem and Bounded Interpretations.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 399, doi. 10.1007/s11225-012-9385-z
- By:
- Publication type:
- Article
15
The Ontology of Justifications in the Logical Setting.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 17, doi. 10.1007/s11225-012-9387-x
- By:
- Publication type:
- Article
16
Canonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-based Algebras.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 137, doi. 10.1007/s11225-012-9392-0
- By:
- Publication type:
- Article
17
Dynamic Modalities.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 385, doi. 10.1007/s11225-012-9383-1
- By:
- Publication type:
- Article
18
Reconstructing an Open Order from Its Closure, with Applications to Space-Time Physics and to Logic.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 419, doi. 10.1007/s11225-012-9386-y
- By:
- Publication type:
- Article
19
Fatal Heyting Algebras and Forcing Persistent Sentences.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 163, doi. 10.1007/s11225-012-9393-z
- By:
- Publication type:
- Article
20
Students of Leo Esakia.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 9, doi. 10.1007/s11225-012-9384-0
- Publication type:
- Article
21
Foreword.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 1, doi. 10.1007/s11225-012-9394-y
- By:
- Publication type:
- Article