Search results for "Torben Braüner"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Torben Braüner	Intuitionistic hybrid logic: Introduction and survey.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
1	Thomas Bolander, Torben Braüner	Preface.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Thomas Bolander, Torben Braüner	Preface.	Electr. Notes Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Torben Braüner, Thomas Bolander	Preface.	Journal of Logic, Language and Information	2009	DBLP DOI BibTeX RDF
1	Torben Braüner	Adding Intensional Machinery to Hybrid Logic.	J. Log. Comput.	2008	DBLP DOI BibTeX RDF
1	Jens Hansen, Thomas Bolander, Torben Braüner	Many-valued hybrid logic.	Advances in Modal Logic	2008	DBLP BibTeX RDF
1	Torben Braüner	Why does the proof-theory of hybrid logic work so well?	Journal of Applied Non-Classical Logics	2007	DBLP BibTeX RDF
1	Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen	Preface.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Thomas Bolander, Torben Braüner	Tableau-based Decision Procedures for Hybrid Logic.	J. Log. Comput.	2006	DBLP DOI BibTeX RDF
1	Torben Braüner, Valeria de Paiva	Intuitionistic hybrid logic.	J. Applied Logic	2006	DBLP DOI BibTeX RDF
1	Torben Braüner	Axioms for classical, intuitionistic, and paraconsistent hybrid logic.	Journal of Logic, Language and Information	2006	DBLP DOI BibTeX RDF	Axiom systems, Modal logic, Paraconsistent logic, Intuitionistic logic, Hybrid logic, Strong negation, Constructive logic
1	Torben Braüner, Per F. V. Hasle, Peter Øhrstrøm	Preface.	Synthese	2006	DBLP DOI BibTeX RDF
1	Torben Braüner	Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere.	Studia Logica	2005	DBLP DOI BibTeX RDF	Modal logic, hybrid logic, natural deduction, functional completeness
1	Torben Braüner	Natural Deduction for First-Order Hybrid Logic.	Journal of Logic, Language and Information	2005	DBLP DOI BibTeX RDF	First-order hybrid logic, first-order modal logic, natural deduction
1	Torben Braüner	Natural Deduction for Hybrid Logic.	J. Log. Comput.	2004	DBLP DOI BibTeX RDF
1	Torben Braüner	Two Natural Deduction Systems for Hybrid Logic: A Comparison.	Journal of Logic, Language and Information	2004	DBLP DOI BibTeX RDF	modal logic, hybrid logic, natural deduction
1	Torben Braüner	Modal Logic, Truth, and the Master Modality.	J. Philosophical Logic	2002	DBLP DOI BibTeX RDF
1	Torben Braüner	Functional Completenes for a Natural Deduction Formulation of Hybridized S5.	Advances in Modal Logic	2002	DBLP BibTeX RDF
1	Torben Braüner	A Cut-Free Gentzen Formulation of the Modal Logic S5.	Logic Journal of the IGPL	2000	DBLP DOI BibTeX RDF
1	Torben Braüner	Homophonic Theory of Truth for Tense Logic.	Advances in Modal Logic	2000	DBLP BibTeX RDF
1	Torben Braüner, Claus Donner, Peter Øhrstrøm	A Software System for Learning Peircean Graphs.	ICCS	1999	DBLP DOI BibTeX RDF
1	Torben Braüner, Jørgen Fischer Nilsson, Anne Rasmussen	Conceptual Graphs as Algebras - With an Application to Analogical Reasoning.	ICCS	1999	DBLP DOI BibTeX RDF
1	Torben Braüner	A Simple Adequate Categorical Model for PCF, II.	Fundam. Inform.	1998	DBLP DOI BibTeX RDF
1	Torben Braüner, Per F. V. Hasle, Peter Øhrstrøm	Ockhamistic Logics and True Futures of Counterfactual Moments. (PDF / PS)	TIME	1998	DBLP DOI BibTeX RDF
1	Torben Braüner	Peircean Graphs for the Modal Logic S5.	ICCS	1998	DBLP DOI BibTeX RDF
1	Torben Braüner	A General Adequacy Result for a Linear Functional Language.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
1	Torben Braüner	A Simple Adequate Categorical Model for PCF.	TLCA	1997	DBLP DOI BibTeX RDF
1	Torben Braüner, Valeria de Paiva	A Formulation of Linear Logic Based on Dependency-Relations.	CSL	1997	DBLP DOI BibTeX RDF
1	Torben Braüner	A Model of Intuitionistic Affine Logic From Stable Domain Theory.	ICALP	1994	DBLP DOI BibTeX RDF
1	Torben Braüner	The Girard Translation Extended with Recursion.	CSL	1994	DBLP DOI BibTeX RDF

Publications of "Torben Braüner" ( http://dblp.L3S.de/Authors/Torben_Braüner )