Home
Catalogue search
Refine your search:
Keyword:
Modale Logik (4)
Sprachlogik (4)
Aussagenlogik (2)
Formale Semantik (2)
Zeitlogik (2)
Zeitsemantik (2)
Diskurswelt (1)
Kongresse / Workshops (1)
Konnektor (1)
Logik (1)
more
Creator / Publisher
Year
Medium
Type
BLLDB-Access
Search in the Catalogues and Directories
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
Sort by
creator [A → Z]
'
creator [Z → A]
'
publishing year ↑ (asc)
'
publishing year ↓ (desc)
'
title [A → Z]
'
title [Z → A]
'
Simple Search
Hits 1 – 8 of 8
1
Moment-History Duality in Prior's Logics of Branching-Time
Zanardo, Alberto
In:
Synthese. - Dordrecht [u.a.] : Springer Science+Business Media
150 (2006) 3, 483-508
OLC Linguistik
Show details
2
Ways of worlds : on possible worlds and related notions ; 1
Pedersen, Stig Andur
(Hrsg.);
Zanardo, Alberto
;
Cresswell, M. J.
. - Dordrecht [u.a.] : Springer, 2006
BLLDB
UB Frankfurt Linguistik
Show details
3
The logic of time and modality
Fine, Kit
;
Copeland, Brian Jack
;
Zanardo, Alberto
. - Dordrecht [u.a.] : Kluwer, 2006
BLLDB
UB Frankfurt Linguistik
Show details
4
Topological aspects of branching-time semantics
Sabbadin, Michela
;
Zanardo, Alberto
In:
Studia logica. - Dordrecht : Springer Science + Business Media
75 (2003) 3, 271-286
BLLDB
Show details
5
Undivided and Indistinguishable Histories in Branching-Time Logics
Zanardo, Alberto
In:
Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer
7 (1998) 3, 297-316
OLC Linguistik
Show details
6
A gabbay-rule free axiomatization of "T" x "W" validity
Di Maio, Maria Concetta
;
Zanardo, Alberto
In:
Journal of philosophical logic. - Dordrecht ; Heidelberg [u.a.] : Springer Science + Business Media
27 (1998) 5, 435-487
BLLDB
Show details
7
A complete deductive-system for since-until branching-time logic
Zanardo, Alberto
In:
Journal of philosophical logic. - Dordrecht ; Heidelberg [u.a.] : Springer Science + Business Media
20 (1991) 2, 131-148
BLLDB
Show details
8
A finite axiomatization of the set of strongly valid Ockhamist formulas
Zanardo, Alberto
In:
Journal of philosophical logic. - Dordrecht ; Heidelberg [u.a.] : Springer Science + Business Media
14 (1985) 4, 447-468
BLLDB
Show details
Mobile view
All
Catalogues
UB Frankfurt Linguistik
2
IDS Mannheim
0
OLC Linguistik
2
UB Frankfurt Retrokatalog
0
DNB Subject Category Language
0
Institut für Empirische Sprachwissenschaft
0
Leibniz-Centre General Linguistics (ZAS)
0
Bibliographies
BLLDB
6
BDSL
0
IDS Bibliografie zur deutschen Grammatik
0
IDS Bibliografie zur Gesprächsforschung
0
IDS Konnektoren im Deutschen
0
IDS Präpositionen im Deutschen
0
IDS OBELEX meta
0
MPI-SHH Linguistics Collection
0
MPI for Psycholinguistics
0
Linked Open Data catalogues
Annohub
0
Online resources
Link directory
0
Journal directory
0
Database directory
0
Dictionary directory
0
Open access documents
BASE
0
Linguistik-Repository
0
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern