- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-8730
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
A Modal View on Resource-Bounded Propositional Logics ; volume:110 ; number:4 ; day:7 ; month:4 ; year:2022 ; pages:1035-1080 ; date:8.2022
Studia logica ; 110, Heft 4 (7.4.2022), 1035-1080, 8.2022
- Urheber
-
Pardo, Pere
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s11225-022-09984-3
- URN
-
urn:nbn:de:101:1-2022101019443986906039
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 15.08.2025, 07:35 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Pardo, Pere
- SpringerLink (Online service)
Ähnliche Objekte (12)
Correction to: A Modal View on Resource-Bounded Propositional Logics
Labelled propositional modal logics : theory and practice
Model checking and validity in propositional and modal inclusion logics
Axiomatizing propositional dependence logics
Completeness theory for propositional logics
Complementary Logics for Classical Propositional Languages
Infinite state model checking of propositional dynamic logics
Lattices of modal logics
Axiomatizations for propositional and modal team logic
On quantified propositional logics and the exponential time hierarchy
Terminological logics with modal operators
Fusions of Modal Logics Revisited
Correction to: A Modal View on Resource-Bounded Propositional Logics
Labelled propositional modal logics : theory and practice
Model checking and validity in propositional and modal inclusion logics
Axiomatizing propositional dependence logics
Completeness theory for propositional logics
Complementary Logics for Classical Propositional Languages
Infinite state model checking of propositional dynamic logics
Lattices of modal logics
Axiomatizations for propositional and modal team logic
On quantified propositional logics and the exponential time hierarchy
Terminological logics with modal operators
Fusions of Modal Logics Revisited
Correction to: A Modal View on Resource-Bounded Propositional Logics
Labelled propositional modal logics : theory and practice
Model checking and validity in propositional and modal inclusion logics
Axiomatizing propositional dependence logics
Completeness theory for propositional logics
Complementary Logics for Classical Propositional Languages
Infinite state model checking of propositional dynamic logics
Lattices of modal logics
Axiomatizations for propositional and modal team logic
On quantified propositional logics and the exponential time hierarchy
Terminological logics with modal operators