Completeness theorems for reactive modal logics

DOI10.1007/s10472-012-9315-9zbMath1296.03017OpenAlexW2130601070MaRDI QIDQ1935589

Dov M. Gabbay

Publication date: 18 February 2013

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: http://orbilu.uni.lu/handle/10993/15850

zbMATH Keywords

completenessreactive Kripke modelsaxiomatic systemsreactive modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Combined logics (03B62)

Related Items

Introducing reactive modal tableaux

Cites Work

• Unnamed Item
• Reactive automata
• Introducing reactive modal tableaux
• Introducing reactive Kripke semantics and arc accessibility
• Future determination of entities in Talmudic public announcement logic
• Modal logics of reactive frames
• REACTIVE PREFERENTIAL STRUCTURES AND NONMONOTONIC CONSEQUENCE
• Reactive Kripke Models and Contrary to Duty Obligations
• Dynamic Epistemic Logic and Knowledge Puzzles
• Defeasible inheritance systems and reactive diagrams
• Reactive standard deontic logic
• Mechanizing Mathematical Reasoning