Beth definability for the guarded fragment

Beth definability for the guarded fragment

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hoogland, Eva (VerfasserIn), Marx, Maarten (VerfasserIn), Otto, Martin (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Amsterdam Inst. for Logic, Language and Computation 1999
Schriftenreihe:	Logic, philosophy and linguistics series] Instituut voor Taal, Logica en Informatie <Amsterdam>: [ILLC research report and technical notes series 1999,20
Schlagworte:	Modale logica
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Prefixed resolution a resolution method for modal and description logics
von: Areces, Carlos, et al.
Veröffentlicht: (1999)

Complexity of modal logics
von: Spaan, Edith
Veröffentlicht: (1993)

Modal logic
von: Blackburn, Patrick 1959-, et al.
Veröffentlicht: (2001)

Logic and bisimulation = Logica en bisimulatie
von: Hollenberg, Marco J.
Veröffentlicht: (1998)

Spezielle Systeme der Modallogik, deren relationale Semantik und philosophische Deutung
von: Zimmermann, Ernst
Veröffentlicht: (1995)

Exploring logical dynamics
von: Benthem, Johan van 1949-
Veröffentlicht: (1996)

A new introduction to modal logic
von: Hughes, Georges E., et al.
Veröffentlicht: (1996)

A companion to modal logic
von: Hughes, George E., et al.
Veröffentlicht: (1984)

Handbook of modal logic
Veröffentlicht: (2007)

Labelled non-classical logics
von: Viganò, Luca
Veröffentlicht: (2000)

Arrow logic and multi-modal logic
Veröffentlicht: (1996)

Modal logics
von: Feys, Robert 1889-1961
Veröffentlicht: (1965)

Algebraic characterizations of various beth definability properties
von: Hoogland, Eva
Veröffentlicht: (1999)

Many-dimensional modal logics theory and applications
Veröffentlicht: (2003)

Relative identity
von: Griffin, Nicholas ca. 20./21. Jh
Veröffentlicht: (1977)

A resolution method for some systems of modal logic
von: Sommerhalder, R.
Veröffentlicht: (1992)

Displaying modal logic
von: Wansing, Heinrich T.
Veröffentlicht: (1998)

A new introduction to modal logic
von: Hughes, G. E., (George Edward)
Veröffentlicht: (1996)

Modalität Möglichkeit, Notwendigkeit, Essenzialismus
von: Meixner, Uwe 1956-
Veröffentlicht: (2008)

Labelled deducation for the guarded fragment
von: Marx, Maarten, et al.
Veröffentlicht: (1999)

Modalities for reasoning about knowledge and quantities
von: Hoek, Wiebe van der
Veröffentlicht: (1992)

Temporal-logisches Programmieren
von: Brzoska, Christoph
Veröffentlicht: (1993)

Essai sur la logique des modalités
von: Gardies, Jean-Louis 1925-
Veröffentlicht: (1979)

Modalities by perspective Aristotle, the stoics and a modern reconstruction
von: Jedan, Christoph, et al.
Veröffentlicht: (2002)

Logical frameworks for truth and abstraction an axiomatic study
von: Cantini, Andrea
Veröffentlicht: (1996)

Arithmetical realizations of modal formulas
von: Strannegård, Claes
Veröffentlicht: (1997)

A structuralist theory of logic
von: Koslow, Arnold
Veröffentlicht: (1992)

Directions in relevant logic
Veröffentlicht: (1989)

Bedeutung und Notwendigkeit eine Studie zur Semantik und modalen Logik
von: Carnap, Rudolf 1891-1970
Veröffentlicht: (1972)

The possible and the actual readings in the metaphysics of modality
Veröffentlicht: (1979)

Modal testing a practitioner’s guide
von: Avitabile, Peter 1952-
Veröffentlicht: (2018)

Modal testing a practitioner’s guide
von: Avitabile, Peter 1952-
Veröffentlicht: (2018)

Essays in the metaphysics of modality
von: Plantinga, Alvin 1932-
Veröffentlicht: (2003)

Die Modallogik des Aristoteles in den Analytica priora A
von: Buddensiek, Friedemann
Veröffentlicht: (1994)

E. W. Beth als logicus
von: Ulsen, Paul van
Veröffentlicht: (2000)

Algebraic methods in philosophical logic
von: Dunn, J. Michael 1941-2021, et al.
Veröffentlicht: (2001)

The significance of sense Meaning, Modality, and morality
von: Wertheimer, Roger
Veröffentlicht: (1972)

Theoretical and experimental modal analysis
Veröffentlicht: (1998)

Modal analysis
von: He, Jimin
Veröffentlicht: (2001)

Essays in the metaphysics of modality
von: Plantinga, Alvin
Veröffentlicht: (2003)