Works matching IS 00393215 AND DT 2023 AND VI 111 AND IP 6
Results: 7
Correspondence Theory for Modal Fairtlough–Mendler Semantics of Intuitionistic Modal Logic.
- Published in:
- Studia Logica, 2023, v. 111, n. 6, p. 1057, doi. 10.1007/s11225-023-10064-3
- By:
- Publication type:
- Article
Hyperintensionality and Fine-Grained Semantics: Alessandro Giordani, Jacek Malinowski, Logic in High Definition: Trends in Logical Semantics, vol. 56 of Trends in Logic, Springer, 2020, pp. 243+v; ISBN: 978-3-030-53486-8 (Hardcover) 117.69€, ISBN: 978-3-030-53487-5 (eBook) 93.08€
- Published in:
- Studia Logica, 2023, v. 111, n. 6, p. 1083, doi. 10.1007/s11225-023-10061-6
- By:
- Publication type:
- Article
The Elimination of Direct Self-reference.
- Published in:
- Studia Logica, 2023, v. 111, n. 6, p. 1037, doi. 10.1007/s11225-023-10060-7
- By:
- Publication type:
- Article
On Heyting Algebras with Negative Tense Operators.
- Published in:
- Studia Logica, 2023, v. 111, n. 6, p. 1015, doi. 10.1007/s11225-023-10053-6
- By:
- Publication type:
- Article
Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic.
- Published in:
- Studia Logica, 2023, v. 111, n. 6, p. 979, doi. 10.1007/s11225-023-10052-7
- By:
- Publication type:
- Article
Systems for Non-Reflexive Consequence.
- Published in:
- Studia Logica, 2023, v. 111, n. 6, p. 947, doi. 10.1007/s11225-023-10049-2
- By:
- Publication type:
- Article
FMP-Ensuring Logics, RA-Ensuring Logics and FA-Ensuring Logics in NExtK4.3.
- Published in:
- Studia Logica, 2023, v. 111, n. 6, p. 899, doi. 10.1007/s11225-023-10046-5
- By:
- Publication type:
- Article