scientific article; zbMATH DE number 3797730

MaRDI QIDQ4742767zbMATH OpenFDO

Authors Luis Fariñas del Cerro

Publication date 1982

Full work available at URL https://eudml.org/doc/92170

zbMATH Keywords

invariancetemporal operatorspropositional modal logiceventualityautomatic theorem-provingtermination of programsmodal formulas

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Automata and formal grammars in connection with logical questions (03D05)

Cites work

• scientific article; zbMATH DE number 3902618 (Why is no real title available?)
• scientific article; zbMATH DE number 3688675 (Why is no real title available?)
• scientific article; zbMATH DE number 3740789 (Why is no real title available?)
• scientific article; zbMATH DE number 3469999 (Why is no real title available?)
• scientific article; zbMATH DE number 3566126 (Why is no real title available?)
• scientific article; zbMATH DE number 3626570 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• scientific article; zbMATH DE number 3315203 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• Algorithmic properties of structures
• An axiomatic basis for computer programming
• First-order dynamic logic
• Is “sometime” sometimes better than “always”?
• LAR: A logic of algorithmic reasoning
• Lucid, a nonprocedural language with iteration
• Modalities and Quantification
• Modalities in the Survey system of strict implication
• Properties of Programs and the First-Order Predicate Calculus
• Some theorems about the sentential calculi of Lewis and Heyting
• Tense logic

Cited in

(1)

• 3-SAT = SAT for a class of normal modal logics

Describes a project that uses

Uses Software

• Lucid

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4742767)