Interpretation of Hybrid Counterfactual Logic into Hybrid Tense Logic: and Comparison of Their Expressive Power on Temporal Sphere Models
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
Interpretation of Hybrid Counterfactual Logic into Hybrid Tense Logic: and Comparison of Their Expressive Power on Temporal Sphere Models ; volume:33 ; number:4-5 ; day:28 ; month:11 ; year:2024 ; pages:391-418 ; date:12.2024
Journal of logic, language and information ; 33, Heft 4-5 (28.11.2024), 391-418, 12.2024
- Urheber
-
Hosokawa, Yuichiro
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10849-024-09424-6
- URN
-
urn:nbn:de:101:1-2502220719247.749363628167
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:19 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
- Hosokawa, Yuichiro
- SpringerLink (Online service)
Ähnliche Objekte (12)
Definite descriptions and hybrid tense logic
Tense or temporal logic
Differential Dynamic Logic for Hybrid Systems
Tense Logic Based on Finite Orthomodular Posets
Hybrid Unification in the Description Logic EL
Contrary-to-Duty Paradoxes and Counterfactual Deontic Logic
Switching Logic for a Direct Hybrid Electric Powertrain
Correction to: Differential Dynamic Logic for Hybrid Systems
Branching space-time, modal logic and the counterfactual conditional
A Note on Expressive Completeness of Modal Logic
CTL, a description logic with expressive concrete domains
Hybrid dynamic logic institutions for event/data-based systems
Definite descriptions and hybrid tense logic
Tense or temporal logic
Differential Dynamic Logic for Hybrid Systems
Tense Logic Based on Finite Orthomodular Posets
Hybrid Unification in the Description Logic EL
Contrary-to-Duty Paradoxes and Counterfactual Deontic Logic
Switching Logic for a Direct Hybrid Electric Powertrain
Correction to: Differential Dynamic Logic for Hybrid Systems
Branching space-time, modal logic and the counterfactual conditional
A Note on Expressive Completeness of Modal Logic
CTL, a description logic with expressive concrete domains
Hybrid dynamic logic institutions for event/data-based systems
Definite descriptions and hybrid tense logic
Tense or temporal logic
Differential Dynamic Logic for Hybrid Systems
Tense Logic Based on Finite Orthomodular Posets
Hybrid Unification in the Description Logic EL
Contrary-to-Duty Paradoxes and Counterfactual Deontic Logic
Switching Logic for a Direct Hybrid Electric Powertrain
Correction to: Differential Dynamic Logic for Hybrid Systems
Branching space-time, modal logic and the counterfactual conditional
A Note on Expressive Completeness of Modal Logic
CTL, a description logic with expressive concrete domains