Works matching IS 00393215 AND DT 2020 AND VI 108 AND IP 6
Results: 8
A Canonical Model for Constant Domain Basic First-Order Logic.
- Published in:
- Studia Logica, 2020, v. 108, n. 6, p. 1307, doi. 10.1007/s11225-020-09900-7
- By:
- Publication type:
- Article
A General Framework for FDE-Based Modal Logics.
- Published in:
- Studia Logica, 2020, v. 108, n. 6, p. 1281, doi. 10.1007/s11225-020-09897-z
- By:
- Publication type:
- Article
Definable Operators on Stable Set Lattices.
- Published in:
- Studia Logica, 2020, v. 108, n. 6, p. 1263, doi. 10.1007/s11225-020-09896-0
- By:
- Publication type:
- Article
Notes on Leitgeb's What Truth Depends on.
- Published in:
- Studia Logica, 2020, v. 108, n. 6, p. 1235, doi. 10.1007/s11225-019-09895-w
- By:
- Publication type:
- Article
Reusing Topological Nexttime Logic.
- Published in:
- Studia Logica, 2020, v. 108, n. 6, p. 1207, doi. 10.1007/s11225-019-09894-x
- By:
- Publication type:
- Article
The Hahn Embedding Theorem for a Class of Residuated Semigroups.
- Published in:
- Studia Logica, 2020, v. 108, n. 6, p. 1161, doi. 10.1007/s11225-019-09893-y
- By:
- Publication type:
- Article
Reasoning Continuously: A Formal Construction of Continuous Proofs.
- Published in:
- Studia Logica, 2020, v. 108, n. 6, p. 1145, doi. 10.1007/s11225-019-09892-z
- By:
- Publication type:
- Article
Disjunctive and Conjunctive Multiple-Conclusion Consequence Relations.
- Published in:
- Studia Logica, 2020, v. 108, n. 6, p. 1125, doi. 10.1007/s11225-019-09889-8
- By:
- Publication type:
- Article