Amanote Research

Amanote Research

    RegisterSign In

Linear Tense Logics of Increasing Sets

Journal of Logic and Computation - United Kingdom
doi 10.1093/logcom/12.4.583
Full Text
Open PDF
Abstract

Available in full text

Categories
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
Date

August 1, 2002

Authors
B. Heinemann
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

Consistency of Linear Inequalities Over Sets

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1972English

Linear Extensions of Partially Ordered Sets.

English

A General Theory of Linear Sets

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1925English

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

Tense Arguments

Informal Logic
Philosophy
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy