Completeness of a first-order temporal logic with time-gaps
Theoretical Computer Science
Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs
CSL '95 Selected Papers from the9th International Workshop on Computer Science Logic
Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Compact Propositional Gödel Logics
ISMVL '98 Proceedings of the The 28th International Symposium on Multiple-Valued Logic
Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta
ISMVL '06 Proceedings of the 36th International Symposium on Multiple-Valued Logic
| Hi-index | 0.00 |