Home › Categories › Technology› Modular And Heterogeneous Logical Theories In DOL

Modular And Heterogeneous Logical Theories In DOL.pdf

GI-Logic-2017.pdf

Preview of Modular and heterogeneous logical theories in DOL

🔗 Source: iks.cs.ovgu.de

📊 Size: 443 KB

👤 Author: Till Mossakowski joint work with Razvan Diaconescu and Andrzej Tarlecki

⬇️ Downloads: 148

Summary

Computer science uses logic in various ways, including programming languages, formal specification and verification, databases, artificial intelligence, ontologies, algorithms, and automated theorem proving. Many logics are used, such as propositional logics (involving p, ¬ϕ, ϕ ∧ψ, ϕ ∨ψ, ϕ →ψ, ⊤, ⊥), modal logics (involving 2ϕ, ⋄ϕ), and hybrid logics (involving i, @i.ϕ).

Download File

Description

Computer science uses logic in various ways, including programming languages, formal specification and verification, databases, artificial intelligence,...

Technical Information

File Format: PDF
File Size: 443 KB
Pages: 91
Language: EN
Author: Till Mossakowski joint work with Razvan Diaconescu and Andrzej Tarlecki
Total Downloads: 148
Last Updated: 6 hours ago

Document Overview

This PDF document about Modular and heterogeneous logical theories in DOL provides comprehensive information and guidance. Whether you're a beginner or advanced user, this resource offers valuable insights into Modular and heterogeneous logical theories in DOL.