scientific article; zbMATH DE number 2109537
From MaRDI portal
Publication:4822147
Recommendations
Cited in
(24)- The Classical Model Existence Theorem in Subclassical Predicate Logics I
- Modal logic and model theory
- An Arithmetically Complete Predicate Modal Logic
- Completeness and incompleteness in first-order modal logic: an overview
- scientific article; zbMATH DE number 221549 (Why is no real title available?)
- Well-behaved modal logics
- scientific article; zbMATH DE number 2236678 (Why is no real title available?)
- scientific article; zbMATH DE number 2097565 (Why is no real title available?)
- scientific article; zbMATH DE number 1507180 (Why is no real title available?)
- On the proof-theory of two formalisations of modal first-order logic
- Modal deduction in second-order logic and set theory. II
- scientific article; zbMATH DE number 1389650 (Why is no real title available?)
- First order extensions of classical systems of modal logic. The role of the Barcan schemas
- A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs
- Quantified Modal Logic With Rigid Terms
- Modal extensions of sub-classical logics for recovering classical logic
- Modal deduction in second-order logic and set theory - I
- On modal logics which enrich first-order S5
- Hybrid Multifluid Algorithms
- Modal syllogistic
- A completeness theorem for continuous predicate modal logic
- The completeness of Carnap's predicate logic
- scientific article; zbMATH DE number 1418444 (Why is no real title available?)
- scientific article; zbMATH DE number 1989658 (Why is no real title available?)
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 Q4822147)
