Found: 12
Select item for more details and to access through your institution.
Cyclic Involutive Distributive Full Lambek Calculus is Decidable.
- Published in:
- Journal of Logic & Computation, 2011, v. 21, n. 2, p. 231, doi. 10.1093/logcom/exq021
- By:
- Publication type:
- Article
Linear Temporal Logic LTL: Basis for Admissible Rules.
- Published in:
- Journal of Logic & Computation, 2011, v. 21, n. 2, p. 157, doi. 10.1093/logcom/exq020
- By:
- Publication type:
- Article
Towards a Definition of an Algorithm.
- Published in:
- Journal of Logic & Computation, 2011, v. 21, n. 2, p. 253, doi. 10.1093/logcom/exq016
- By:
- Publication type:
- Article
From Situation Calculus to Dynamic Epistemic Logic.
- Published in:
- Journal of Logic & Computation, 2011, v. 21, n. 2, p. 179, doi. 10.1093/logcom/exq024
- By:
- Publication type:
- Article
Introducing Preferences in Planning as Satisfiability.
- Published in:
- Journal of Logic & Computation, 2011, v. 21, n. 2, p. 205, doi. 10.1093/logcom/exq023
- By:
- Publication type:
- Article
Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations.
- Published in:
- Journal of Logic & Computation, 2011, v. 21, n. 2, p. 351, doi. 10.1093/logcom/exq017
- By:
- Publication type:
- Article
Review of Modeling in Event-B: System and Sofware Engineering, 1st edition, by Jean-Raymond Abrial.
- Published in:
- 2011
- By:
- Publication type:
- Book Review
Inductive Defense for Sceptical Semantics of Extended Argumentation.
- Published in:
- Journal of Logic & Computation, 2011, v. 21, n. 2, p. 307, doi. 10.1093/logcom/exq018
- By:
- Publication type:
- Article
The rules of the game are changing: Scientific impact factors and publication strategies among logicians.
- Published in:
- Journal of Logic & Computation, 2011, v. 21, n. 2, p. 121, doi. 10.1093/logcom/exr001
- By:
- Publication type:
- Article
Rank Hierarchies for Generalized Quantifiers.
- Published in:
- Journal of Logic & Computation, 2011, v. 21, n. 2, p. 287, doi. 10.1093/logcom/exq019
- By:
- Publication type:
- Article
Preservation by fibring of the finite model property.
- Published in:
- Journal of Logic & Computation, 2011, v. 21, n. 2, p. 375, doi. 10.1093/logcom/exq022
- By:
- Publication type:
- Article
Towards the Proof-theoretic Unification of Dung’s Argumentation Framework: an Adaptive Logic Approach.
- Published in:
- Journal of Logic & Computation, 2011, v. 21, n. 2, p. 133, doi. 10.1093/logcom/exq015
- By:
- Publication type:
- Article