scientific article; zbMATH DE number 3251384
From MaRDI portal
Publication:5536236
Recommendations
- scientific article; zbMATH DE number 3274715
- scientific article; zbMATH DE number 7592011
- scientific article; zbMATH DE number 1028229
- scientific article; zbMATH DE number 52620
- First-order modal logic
- First-order modal logic
- First-order intensional logic
- First order expressivist logic
- Classical First-Order Logic
- First-order Gödel logics
Cited in
(17)- What's so logical about the logical axioms?
- A first-order logic with no logical constants
- Formal reasoning in preference-based multiple-source rough set model
- First-order modal logic
- An update logic for information systems
- scientific article; zbMATH DE number 5000990 (Why is no real title available?)
- Henkin's theorem in textbooks
- First-order predicate logic and Gödel's completeness theorem
- scientific article; zbMATH DE number 107978 (Why is no real title available?)
- scientific article; zbMATH DE number 1301808 (Why is no real title available?)
- scientific article; zbMATH DE number 1028229 (Why is no real title available?)
- First order expressivist logic
- scientific article; zbMATH DE number 3296221 (Why is no real title available?)
- Relating Z and first-order logic
- Ordered Fragments of First-Order Logic
- First-order modal logic
- A logic for multiple-source approximation systems with distributed knowledge base
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5536236)