Search alternatives:
"logica" » "logics"
"logical" » "logicsl"

1
Published 2009
Springer Netherlands
Table of Contents: ...From Logic to Mathematical Philosophy -- Commutativity of Quantifiers in Varying-Domain Kripke...

2
by Wansing, Heinrich
Published 1998
Springer Netherlands
Table of Contents: ...One / Introduction -- Two / Sequents Generalized -- Three / Display Logic -- Four / Properly...

3
by Shramko, Yaroslav, Wansing, Heinrich
Published 2012
Springer Netherlands
Subjects: ...Mathematical logic...

4
by Wansing, Heinrich
Published 1993
Springer Berlin Heidelberg
Table of Contents: ... and the informational interpretation of substructural propositional logics...

5
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... by Resolution in Modal Logic -- GOAL Agents Instantiate Intention Logic -- Linear Exponentials as Resource...

6
Published 2014
Springer International Publishing
Table of Contents: ...; Michael Arndt and Luca Tranchini -- Chapter 3. The Knowability Paradox in the light of a Logic...

7
Published 1996
Springer Netherlands
Table of Contents: ... and Proofs in S4 -- II Extended Formalisms -- Relational Proof Systems for Modal Logics -- The Display...

9
Published 1992
Springer Berlin Heidelberg
Table of Contents: ...Algebraic aspects of the relational knowledge representation: Modal relation algebras -- A logic...

10
Published 2015
Springer International Publishing
Table of Contents: ... -- Fusing Quantifiers and Connectives: Is Intuitionistic Logic Different?; Pagin, Peter -- On constructive...

11
Published 1999
Springer Netherlands
Table of Contents: ... Logics (How I stopped worrying and learned to love the Routley Star) -- Negation in the Light of Modal...