Linear Tense Logics of Increasing Sets

Journal of Logic and Computation- United Kingdom

doi 10.1093/logcom/12.4.583

Full Text

Abstract

Available in

Date

Authors

Publisher

Oxford University Press (OUP)

Related search

Rough Sets and 3-Valued Logics

Studia Logica
Philosophy of ScienceLogicHistory
2008English

Invariants of Sets of Linear Varieties.

Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
1990English

A General Theory of Linear Sets

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1925English

Consistency of Linear Inequalities Over Sets

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1972English

Linear Extensions of Partially Ordered Sets.

English

Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Totally Bounded Sets of Precompact Linear Operators

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1969English

Exceptional Sets for Linear Differential Polynomials

Annales Academiae Scientiarum Fennicae Series A I Mathematica
1986English

Linear Separation of Connected Dominating Sets in Graphs

Ars Mathematica Contemporanea
AlgebraCombinatoricsNumber TheoryGeometryDiscrete MathematicsTheoretical Computer ScienceTopology
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy