- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
Truthmaker Semantics for Intuitionistic Modal Logic ; day:29 ; month:11 ; year:2024 ; pages:1-19
Topoi ; (29.11.2024), 1-19
- Classification
-
Philosophie
- Creator
-
Litland, Jon Erling
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s11245-024-10094-z
- URN
-
urn:nbn:de:101:1-2502142222589.454170444859
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:31 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Litland, Jon Erling
- SpringerLink (Online service)
Other Objects (12)
Kripke Semantics for Intuitionistic Łukasiewicz Logic
Ontologically minimal semantics for intuitionistic logic
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic
Intuitionistic modal logic and applications : workshop proceedings
Partial Semantics for Quantified Modal Logic
Fischer servi's intuitionistic modal logic and its extensions
Topos semantics for higher-order modal logic
An alternative semantics for modal predicate-logic
Intuitionistic Modal Algebras
Intuitionistic Logic is a Connexive Logic
Foundations of intuitionistic logic
Meaning and necessity : a study in semantics and modal logic
Kripke Semantics for Intuitionistic Łukasiewicz Logic
Ontologically minimal semantics for intuitionistic logic
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic
Intuitionistic modal logic and applications : workshop proceedings
Partial Semantics for Quantified Modal Logic
Fischer servi's intuitionistic modal logic and its extensions
Topos semantics for higher-order modal logic
An alternative semantics for modal predicate-logic
Intuitionistic Modal Algebras
Intuitionistic Logic is a Connexive Logic
Foundations of intuitionistic logic
Meaning and necessity : a study in semantics and modal logic
Kripke Semantics for Intuitionistic Łukasiewicz Logic
Ontologically minimal semantics for intuitionistic logic
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic
Intuitionistic modal logic and applications : workshop proceedings
Partial Semantics for Quantified Modal Logic
Fischer servi's intuitionistic modal logic and its extensions
Topos semantics for higher-order modal logic
An alternative semantics for modal predicate-logic
Intuitionistic Modal Algebras
Intuitionistic Logic is a Connexive Logic
Foundations of intuitionistic logic