scientific article; zbMATH DE number 1950252

zbMath1015.03014MaRDI QIDQ4412850

Patrick Blackburn, Maarten Marx

Publication date: 17 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2381/23810038.htm

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Related Items (16)

Foundations of logic programming in hybrid logics with user-defined sharing ⋮ Constructive interpolation in hybrid logic ⋮ The Fitch-Church paradox and first order modal logic ⋮ The problem of cross-world predication ⋮ Exorcising the phantom zone ⋮ Birkhoff style calculi for hybrid logics ⋮ How to Lewis a Kripke-Hintikka ⋮ Combining and automating classical and non-classical logics in classical higher-order logics ⋮ Completeness in hybrid type theory ⋮ Understanding the Brandenburger-Keisler paradox ⋮ Natural deduction for first-order hybrid logic ⋮ Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners) ⋮ Coalgebraic Hybrid Logic ⋮ A proof-theoretic study of the correspondence of hybrid logic and classical logic ⋮ Testing XML constraint satisfiability ⋮ Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems

This page was built for publication: