Publication:4742767
From MaRDI portal
zbMath0506.03004MaRDI QIDQ4742767
Publication date: 1982
Full work available at URL: https://eudml.org/doc/92170
invariance; propositional modal logic; temporal operators; eventuality; automatic theorem-proving; termination of programs; modal formulas
03B45: Modal logic (including the logic of norms)
03D05: Automata and formal grammars in connection with logical questions
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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