Works matching IS 00393215 AND DT 2014 AND VI 102 AND IP 3
Results: 12
The Simplest Axiom System for Hyperbolic Geometry Revisited, Again.
- Published in:
- Studia Logica, 2014, v. 102, n. 3, p. 609, doi. 10.1007/s11225-013-9509-0
- By:
- Publication type:
- Article
Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic.
- Published in:
- Studia Logica, 2014, v. 102, n. 3, p. 479, doi. 10.1007/s11225-013-9474-7
- By:
- Publication type:
- Article
A Machine That Knows Its Own Code.
- Published in:
- Studia Logica, 2014, v. 102, n. 3, p. 567, doi. 10.1007/s11225-013-9491-6
- By:
- Publication type:
- Article
Decidability of an Xstit Logic.
- Published in:
- Studia Logica, 2014, v. 102, n. 3, p. 577, doi. 10.1007/s11225-013-9492-5
- By:
- Publication type:
- Article
On Pretabular Logics in NExtK4 (Part I).
- Published in:
- Studia Logica, 2014, v. 102, n. 3, p. 499, doi. 10.1007/s11225-013-9485-4
- By:
- Publication type:
- Article
A New Semantics for Systems of Logic of Essence.
- Published in:
- Studia Logica, 2014, v. 102, n. 3, p. 411, doi. 10.1007/s11225-013-9472-9
- By:
- Publication type:
- Article
Review of Bostock's Russell's Logical Atomism.
- Published in:
- Studia Logica, 2014, v. 102, n. 3, p. 655, doi. 10.1007/s11225-014-9555-2
- By:
- Publication type:
- Article
Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras.
- Published in:
- Studia Logica, 2014, v. 102, n. 3, p. 525, doi. 10.1007/s11225-013-9489-0
- By:
- Publication type:
- Article
Book Reviews.
- Published in:
- Studia Logica, 2014, v. 102, n. 3, p. 647, doi. 10.1007/s11225-014-9554-3
- By:
- Publication type:
- Article
Categorical Abstract Algebraic Logic: Behavioral π-Institutions.
- Published in:
- Studia Logica, 2014, v. 102, n. 3, p. 617, doi. 10.1007/s11225-014-9553-4
- By:
- Publication type:
- Article
On the Dynamic Logic of Agency and Action.
- Published in:
- Studia Logica, 2014, v. 102, n. 3, p. 441, doi. 10.1007/s11225-013-9473-8
- By:
- Publication type:
- Article
On Provability Logics with Linearly Ordered Modalities.
- Published in:
- Studia Logica, 2014, v. 102, n. 3, p. 541, doi. 10.1007/s11225-013-9490-7
- By:
- Publication type:
- Article