Verfasser Suchresultate :: Subito Katalog

1

Formalizing Henkin-Style Completeness of an Axiomatic System for Propositional Logic

von From, Asta Halkjoer
Veröffentlicht in ESSLLI Student Session (2019 : Riga) Selected reflections in language, logic, and information (2024)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Formalized Soundness and Completeness of Epistemic Logic

von From, Asta Halkjoer
Veröffentlicht in Logic, Language, Information, and Computation (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: