scientific article; zbMATH DE number 2109537

zbMATH Open1051.03020MaRDI QIDQ4822147FDOQ4822147

Authors: George Tourlakis, Francisco Kibedi 

Publication date: 25 October 2004

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 2097565
• A completeness theorem for continuous predicate modal logic
• Some incompletable modal predicate logics
• scientific article; zbMATH DE number 1735876
• scientific article; zbMATH DE number 2019849

zbMATH Keywords

semanticsmodal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10)

Cited In (21)

• Title not available (Why is that?)
• An Arithmetically Complete Predicate Modal Logic
• First order extensions of classical systems of modal logic. The role of the Barcan schemas
• Completeness and incompleteness in first-order modal logic: an overview
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modal deduction in second-order logic and set theory - I
• The Classical Model Existence Theorem in Subclassical Predicate Logics I
• A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs
• Well-behaved modal logics
• Title not available (Why is that?)
• On the proof-theory of two formalisations of modal first-order logic
• Hybrid Multifluid Algorithms
• 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. II
• On modal logics which enrich first-order S5
• Modal logic and model theory
• Title not available (Why is that?)

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)