scientific article; zbMATH DE number 3797730

zbMath0506.03004MaRDI QIDQ4742767

Luis Fariñas del Cerro

Publication date: 1982

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

invariancepropositional modal logictemporal operatorseventualityautomatic 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)

Related Items (1)

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

Uses Software

• Lucid

Cites Work

• LAR: A logic of algorithmic reasoning
• Tense logic
• First-order dynamic logic
• Lucid, a nonprocedural language with iteration
• Is “sometime” sometimes better than “always”?
• A Machine-Oriented Logic Based on the Resolution Principle
• An axiomatic basis for computer programming
• Properties of Programs and the First-Order Predicate Calculus
• Algorithmic properties of structures
• Modalities in the Survey system of strict implication
• Some theorems about the sentential calculi of Lewis and Heyting
• Modalities and Quantification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: