Introducing reactive modal tableaux

DOI10.1007/s10472-012-9314-xzbMath1271.03028OpenAlexW2086292835MaRDI QIDQ1935590

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/15854

zbMATH Keywords

modal logiccombined logicsBeth tableauxreactive Kripke framesrelational frame

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Combined logics (03B62)

Related Items (1)

Completeness theorems for reactive modal logics

Cites Work

• Reactive automata
• Proof methods for modal and intuitionistic logics
• Completeness theorems for reactive modal logics
• A theory of hierarchical consequence and conditionals
• Modal logics of reactive frames
• SIZE AND LOGIC
• REACTIVE PREFERENTIAL STRUCTURES AND NONMONOTONIC CONSEQUENCE
• Reactive Kripke Models and Contrary to Duty Obligations
• CUMULATIVITY WITHOUT CLOSURE OF THE DOMAIN UNDER FINITE UNIONS
• Defeasible inheritance systems and reactive diagrams
• Reactive standard deontic logic
• Mechanizing Mathematical Reasoning

This page was built for publication: Introducing reactive modal tableaux