Elements of Logical Reasoning.
- Published in:
- Studia Logica, 2018, v. 106, n. 1, p. 215, doi. 10.1007/s11225-018-9783-y
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2018 AND VI 106 AND IP 1
Results: 9
1
2
A Second Pretabular Classical Relevance Logic.
- Published in:
- Studia Logica, 2018, v. 106, n. 1, p. 191, doi. 10.1007/s11225-017-9734-z
- By:
- Publication type:
- Article
3
Correspondence Between Kripke Frames and Projective Geometries.
- Published in:
- Studia Logica, 2018, v. 106, n. 1, p. 167, doi. 10.1007/s11225-017-9733-0
- By:
- Publication type:
- Article
4
The Finite Model Property for Logics with the Tangle Modality.
- Published in:
- Studia Logica, 2018, v. 106, n. 1, p. 131, doi. 10.1007/s11225-017-9732-1
- By:
- Publication type:
- Article
5
Provably True Sentences Across Axiomatizations of Kripke’s Theory of Truth.
- Published in:
- Studia Logica, 2018, v. 106, n. 1, p. 101, doi. 10.1007/s11225-017-9727-y
- By:
- Publication type:
- Article
6
The Structure Group of a Generalized Orthomodular Lattice.
- Published in:
- Studia Logica, 2018, v. 106, n. 1, p. 85, doi. 10.1007/s11225-017-9726-z
- By:
- Publication type:
- Article
7
Proof Theory for Functional Modal Logic.
- Published in:
- Studia Logica, 2018, v. 106, n. 1, p. 49, doi. 10.1007/s11225-017-9725-0
- By:
- Publication type:
- Article
8
Bisimulation for Conditional Modalities.
- Published in:
- Studia Logica, 2018, v. 106, n. 1, p. 1, doi. 10.1007/s11225-017-9723-2
- By:
- Publication type:
- Article
9
Logic for Describing Strong Belief-Disagreement Between Agents.
- Published in:
- Studia Logica, 2018, v. 106, n. 1, p. 35, doi. 10.1007/s11225-017-9724-1
- By:
- Publication type:
- Article