Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity.
- Published in:
- Studia Logica, 2017, v. 105, n. 2, p. 229, doi. 10.1007/s11225-016-9688-6
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2017 AND VI 105 AND IP 2
Results: 7
1
2
Genuine Coherence as Mutual Confirmation Between Content Elements.
- Published in:
- Studia Logica, 2017, v. 105, n. 2, p. 299, doi. 10.1007/s11225-016-9690-z
- By:
- Publication type:
- Article
3
On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis.
- Published in:
- Studia Logica, 2017, v. 105, n. 2, p. 253, doi. 10.1007/s11225-016-9689-5
- By:
- Publication type:
- Article
4
Studies on Brutal Contraction and Severe Withdrawal.
- Published in:
- Studia Logica, 2017, v. 105, n. 2, p. 331, doi. 10.1007/s11225-016-9691-y
- By:
- Publication type:
- Article
5
General-Elimination Stability.
- Published in:
- Studia Logica, 2017, v. 105, n. 2, p. 361, doi. 10.1007/s11225-016-9692-x
- By:
- Publication type:
- Article
6
Notes on the Computational Aspects of Kripke's Theory of Truth.
- Published in:
- Studia Logica, 2017, v. 105, n. 2, p. 407, doi. 10.1007/s11225-016-9694-8
- By:
- Publication type:
- Article
7
Dov Gabbay, Reactive Kripke Semantics.
- Published in:
- 2017
- By:
- Publication type:
- Book Review