EuDML | Browse

Loading [MathJax]/extensions/MathZoom.js

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Subjects
03-XX Mathematical logic and foundations
03Cxx Model theory
03C80 Logic with extra quantifiers and operators

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1

Displaying 1 – 4 of 4

Safety- and liveness-properties in propositional temporal logic: characterizations and decidability

Wolfgang Thomas (1988)

Banach Center Publications

Some model theory for monotone quantifiers.

J.A. Makowsky, S. Tulipani (1977)

Archiv für mathematische Logik und Grundlagenforschung

Spielquantorinterpretationen unstetiger Funktionale der höheren Analysis.

Wolfgang Friedrich (1984)

Archiv für mathematische Logik und Grundlagenforschung

Structures for a logic with additional generalized quantifier

Guus Broesterhuizen (1975)

Colloquium Mathematicae

Currently displaying 1 – 4 of 4

Page 1