✦ LIBER ✦

Hybrid Identities and Hybrid Equational Logic

✍ Scribed by Klaus Denecke

Publisher: John Wiley and Sons
Year: 1995
Tongue: English
Weight: 363 KB
Volume: 41
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19950410206

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

Hybrid identities are sentences in a special second order language with identity. The model classes of sets of hybrid identities are called hybrid solid varieties. We give a Birkhoff‐type‐characterization of hybrid solid varieties and develop a hybrid equational logic.

📜 SIMILAR VOLUMES

Intuitionistic hybrid logic

✍ Torben Braüner; Valeria de Paiva 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 213 KB

Arthur Prior and Hybrid Logic

✍ Patrick Blackburn 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 234 KB

Hybrid Counterfactual Logics

✍ Katsuhiko Sano 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 446 KB

Hybrid Logic Meets IF Modal Logic

✍ Tero Tulenheimo 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 596 KB

On P-compatible hybrid identities and hy

On P-compatible hybrid identities and hyperidentities

✍ Klaus Denecke; Katarzyna Hałkowska 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 486 KB

Model Checking for Hybrid Logic

✍ Martin Lange 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 758 KB