Found: 12
Select item for more details and to access through your institution.
Editorial and call for papers.
- Published in:
- Journal of Logic & Computation, 2008, v. 18, n. 4, p. 495
- By:
- Publication type:
- Article
General Models and Completeness of First-Order Modal μ-calculus.
- Published in:
- Journal of Logic & Computation, 2008, v. 18, n. 4, p. 497
- By:
- Publication type:
- Article
Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification.
- Published in:
- Journal of Logic & Computation, 2008, v. 18, n. 4, p. 509
- By:
- Publication type:
- Article
One-and-a-halfth-order Logic.
- Published in:
- Journal of Logic & Computation, 2008, v. 18, n. 4, p. 521
- By:
- Publication type:
- Article
Sum and Product in Dynamic Epistemic Logic.
- Published in:
- Journal of Logic & Computation, 2008, v. 18, n. 4, p. 563
- By:
- Publication type:
- Article
Lambek Calculus in Natural Deduction.
- Published in:
- Journal of Logic & Computation, 2008, v. 18, n. 4, p. 589
- By:
- Publication type:
- Article
A Note on Bisimulation Qantifiers and Fixed Points over Transitive Frames.
- Published in:
- Journal of Logic & Computation, 2008, v. 18, n. 4, p. 601
- By:
- Publication type:
- Article
A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic.
- Published in:
- Journal of Logic & Computation, 2008, v. 18, n. 4, p. 615
- By:
- Publication type:
- Article
On the Hierarchy of Intuitionistic Bounded Arithmetic.
- Published in:
- Journal of Logic & Computation, 2008, v. 18, n. 4, p. 625
- By:
- Publication type:
- Article
Adding Intensional Machinery to Hybrid Logic.
- Published in:
- Journal of Logic & Computation, 2008, v. 18, n. 4, p. 631
- By:
- Publication type:
- Article
Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type ω.
- Published in:
- Journal of Logic & Computation, 2008, v. 18, n. 4, p. 649
- By:
- Publication type:
- Article
Pedagogical Second-order Propositional Calculi.
- Published in:
- Journal of Logic & Computation, 2008, v. 18, n. 4, p. 669
- By:
- Publication type:
- Article