08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG)

Up a level
Export as [feed] RSS
Jump to: 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006
Number of items at this level: 115.

2017

Berardi, Stefano; Steila, Silvia (2017). Ramsey's Theorem for Pairs and k Colors as a Sub-Classical Principle of Arithmetic. The journal of symbolic logic, 82(02), pp. 737-753. Cambridge University Press 10.1017/jsl.2016.41

Frittaion, Emanuele; Steila, Silvia; Yokoyama, Keita (2017). The Strength of the SCT Criterion. In: Gopal, T.V.; Jäger, Gerhard; Steila, Silvia (eds.) Theory and Applications of Models of Computation - 14th Annual Conference, {TAMC} 2017, Bern, Switzerland, April 20-22, 2017, Proceedings. Lecture Notes in Computer Science: Vol. 10185 (pp. 260-273). Cham: Springer International Publishing 10.1007/978-3-319-55911-7_19

Marti, Michel; Metcalfe, George (2017). Expressivity in chain-based modal logics (In Press). Archive for mathematical logic Springer International 10.1007/s00153-017-0573-4

2016

Jäger, Gerhard (2016). Relativizing operational set theory. The Bulletin of Symbolic Logic, 22(03), pp. 332-352. Cambridge University Press 10.1017/bsl.2016.11

Kokkinis, Ioannis; Studer, Thomas (2016). Cyclic Proofs for Linear Temporal Logic. In: Probst, Dieter; Schuster, Peter (eds.) Concepts of Proof in Mathematics, Philosophy, and Computer Science. Ontos Mathematical Logic: Vol. 6 (pp. 171-192). De Gruyter 10.1515/9781501502620-011

Kokkinis, Ioannis (2016). Uncertain Reasoning in Justification Logic. (Dissertation, Institute of Computer Science, Philosophisch-naturwissenschaftliche Fakultät, Universität Bern)

Buchholtz, Ulrik Torben; Jäger, Gerhard; Strahm, Thomas Adrian (2016). Theories of proof-theoretic strength ψ(ΓΩ+1). In: Probst, Dieter; Schuster, Peter (eds.) Concepts of Proof in Mathematics, Philosophy, and ComputerScience. Ontos Mathematical Logic: Vol. 6 (pp. 115-140). De Gruyter 10.1515/9781501502620-007

Jäger, Gerhard; Marti, Michel (2016). Intuitionistic common knowledge or belief. Journal of applied logic, 18, pp. 150-163. Elsevier 10.1016/j.jal.2016.04.004

Kokkinis, Ioannis (2016). The Complexity of Non-Iterated Probabilistic Justification Logic. In: Gyssens, Marc; Simari, Guillermo (eds.) Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings. Lecture Notes in Computer Science: Vol. 9616 (pp. 292-310). Cham: Springer 10.1007/978-3-319-30024-5_16

Kokkinis, Ioannis; Ognjanović, Zoran; Studer, Thomas (2016). Probabilistic Justification Logic. In: Artemov, Sergei; Nerode, Anil (eds.) Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings. Lecture Notes in Computer Science: Vol. 9537 (pp. 174-186). Cham: Springer 10.1007/978-3-319-27683-0_13

Studer, Thomas (2016). Relationale Datenbanken: von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL [Textbook] . eXamen.press. Berlin, Heidelberg: Springer Berlin Heidelberg 10.1007/978-3-662-46571-4

Kahle, Reinhard; Strahm, Thomas Adrian; Studer, Thomas (eds.) (2016). Advances in Proof Theory. Progress in Computer Science and Applied Logic: Vol. 28. Cham: Springer International Publishing 10.1007/978-3-319-29198-7

Probst, Dieter; Schuster, Peter (eds.) (2016). Concepts of Proof in Mathematics, Philosophy, and Computer Science. Ontos Mathematical Logic: Vol. 6. De Gruyter 10.1515/9781501502620

Steila, Silvia; Yokoyama, Keita (2016). Reverse mathematical bounds for the Termination Theorem. Annals of pure and applied logic, 167(12), pp. 1213-1241. Elsevier 10.1016/j.apal.2016.06.001

Kuznets, Roman; Studer, Thomas (2016). Weak arithmetical interpretations for the Logic of Proofs. Logic Journal of IGPL, 24(3), pp. 424-440. Oxford University Press 10.1093/jigpal/jzw002

Kashev, Alexander (2016). Justification with nominals. (Dissertation, Institut für Informatik und angewandte Mathematik, Philosophisch-naturwissenschaftliche Fakultät)

Jäger, Gerhard; Marti, Michel (2016). A canonical model construction for intuitionistic distributed knowledge. In: Beklemishev, Lev; Demri, Stéphane; Máté, András (eds.) Advances in Modal Logic. Advances in Modal Logic 2016: Vol. 11 (pp. 420-434). College Publications

Marti, Michel; Studer, Thomas (2016). Intuitionistic modal logic made explicit. The IfCoLog Journal of Logics and their Applications, 3(5), pp. 877-901. College Publications

2015

Eberhard, Sebastian (2015). Applicative theories for logarithmic complexity classes. Theoretical Computer Science, 585, pp. 115-135. Elsevier 10.1016/j.tcs.2015.03.007

Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran; Studer, Thomas (2015). First steps towards probabilistic justification logic. Logic Journal of IGPL, 23(4), pp. 662-687. Oxford University Press 10.1093/jigpal/jzv025

Werner, Johannes Martin (2015). Controlled Query Evaluation in General Semantics with Incomplete Information. (Dissertation, Institut für Informatik und angewandte Mathematik, Philosophisch-naturwissenschaftliche Fakultät)

Fitting, Melvin; Kuznets, Roman (2015). Modal interpolation via nested sequents. Annals of pure and applied logic, 166(3), pp. 274-305. Elsevier 10.1016/j.apal.2014.11.002

Sato, Kentaro (2015). Full and hat inductive definitions are equivalent in NBG. Archive for mathematical logic, 54(1-2), pp. 75-112. Springer International 10.1007/s00153-014-0403-x

Sato, Kentaro; Zumbrunnen, Rico (2015). A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π1-equivalent to KP. Annals of pure and applied logic, 166(2), pp. 121-186. Elsevier 10.1016/j.apal.2014.10.001

Sato, Kentaro (2015). A new model construction by making a detour via intuitionistic theories II: Interpretability lower bound of Feferman's explicit mathematics T0. Annals of pure and applied logic, 166(7-8), pp. 800-835. Elsevier 10.1016/j.apal.2015.04.002

Eberhard, Sebastian; Strahm, Thomas Adrian (2015). Unfolding Feasible Arithmetic and Weak Truth. In: Achourioti, Theodora; Galinon, Henri; Martínez Fernández, José; Fujimoto, Kentaro (eds.) Unifying the Philosophy of Truth. Logic, Epistemology, and the Unity of Science: Vol. 36 (pp. 153-167). Dordrecht: Springer Netherlands 10.1007/978-94-017-9673-6_7

Ranzi, Florian (2015). From a Flexible Type System to Metapredicative Wellordering Proofs. (Dissertation, Institut für Informatik und angewandte Mathematik, Philosophisch-naturwissenschaftliche Fakultät)

Jäger, Gerhard; Probst, Dieter (2015). A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions. In: Kahle, Reinhard; Kahle, Reinhard; Rathjen, Michael (eds.) Gentzen's Centenary - The Quest for Consistency (pp. 425-454). Springer 10.1007/978-3-319-10103-3_15

Strahm, Thomas Adrian; Sommaruga, Giovanni (eds.) (2015). Turing's Revolution: The Impact of His Ideas about Computability. Birkhäuser Basel 10.1007/978-3-319-22156-4

2014

Metcalfe, George; Marti, Michel (2014). A Hennessy-Milner Property for Many-Valued Modal Logics. In: Goré, Rajeev; Kooi, Barteld; Kurucz, Agi (eds.) Advances in Modal Logic. Advances in Modal Logic: Vol. 10 (pp. 407-420). London: College Publications

Sato, Kentaro (2014). Relative Predicativity and dependent recursion in second-order set theory and higher-orders theories. The journal of symbolic logic, 79(03), pp. 712-732. Cambridge University Press 10.1017/jsl.2014.28

Alberucci, Luca; Krähenbühl, Jürg; Studer, Thomas (2014). Justifying induction on modal μ-formulae. Logic Journal of IGPL, 22(6), pp. 805-817. Oxford University Press 10.1093/jigpal/jzu001

Flumini, Dandolo; Sato, Kentaro (2014). From hierarchies to well-foundedness. Archive for mathematical logic, 53(7-8), pp. 855-863. Springer International 10.1007/s00153-014-0392-9

Sato, Kentaro (2014). Forcing for hat inductive definitions in arithmetic. Mathematical logic quarterly, 60(4-5), pp. 314-318. Wiley-VCH 10.1002/malq.201300044

Jäger, Gerhard; Zumbrunnen, Rico (2014). Explicit mathematics and operational set theory: some ontological comparisons. The Bulletin of Symbolic Logic, 20(03), pp. 275-292. Cambridge University Press 10.1017/bsl.2014.21

Ranzi, Florian; Strahm, Thomas Adrian (2014). A note on the theory SID<ω of stratified induction. Mathematical Logic Quarterly, 60(6), pp. 487-497. 10.1002/malq.201300063

Eberhard, Sebastian (2014). A feasible theory of truth over combinatory algebra. Annals of pure and applied logic, 165(5), pp. 1009-1033. Elsevier 10.1016/j.apal.2013.12.002

Bucheli, Samuel; Kuznets, Roman; Studer, Thomas (2014). Realizing public announcements by justifications. Journal of computer and system sciences, 80(6), pp. 1046-1066. Elsevier 10.1016/j.jcss.2014.04.001

Savateev, Yury (2014). Proof internalization in generalized Frege systems for classical logic. Annals of pure and applied logic, 165(1), pp. 340-356. Elsevier 10.1016/j.apal.2013.07.017

Artemov, Sergei N.; Kuznets, Roman (2014). Logical omniscience as infeasibility. Annals of pure and applied logic, 165(1), pp. 6-25. Elsevier 10.1016/j.apal.2013.07.003

Studer, Thomas; Werner, Johannes Martin (2014). Censors for Boolean Description Logic. Transactions on Data Privacy, 7(3), pp. 223-252.

2013

McKinley, Richard (2013). Canonical proof nets for classical logic. Annals of pure and applied logic, 164(6), pp. 702-732. Elsevier 10.1016/j.apal.2012.05.007

Studer, Thomas (2013). Decidability for some justification logics with negative introspection. The journal of symbolic logic, 78(2), pp. 388-402. Cambridge University Press 10.2178/jsl.7802030

McKinley, Richard (2013). Proof Nets for Herbrand’s Theorem. ACM Transactions on Computational Logic, 14(1), pp. 1-31. New York: ACM 10.1145/2422085.2422090

Bucheli, Samuel; Kuznets, Roman; Studer, Thomas (2013). Decidability for Justification Logics Revisited. In: Logic, language, and computation. Lecture Notes in Computer Science: Vol. 7758 (pp. 166-181). Berlin, Heidelberg: Springer Berlin Heidelberg 10.1007/978-3-642-36976-6_12

Jäger, Gerhard (2013). Operational closure and stability. Annals of pure and applied logic, 164(7-8), pp. 813-821. Elsevier 10.1016/j.apal.2013.01.004

Kuznets, Roman; Studer, Thomas (2013). Update as Evidence: Belief Expansion. In: Update as evidence: brief expansion. Lecture Notes in Computer Science: Vol. 7734 (pp. 266-279). Berlin, Heidelberg: Springer 10.1007/978-3-642-35722-0_19

Studer, Thomas (2013). A Universal Approach to Guarantee Data Privacy. Logica universalis, 7(2), pp. 195-209. Birkhäuser 10.1007/s11787-012-0060-y

2012

Brünnler, Kai; Studer, Thomas (2012). Syntactic cut-elimination for a fragment of the modal mu-calculus. Annals of pure and applied logic, 163(12), pp. 1838-1853. Amsterdam: Elsevier 10.1016/j.apal.2012.04.006

Bucheli, Samuel (2012). Justification Logics with Common Knowledge.

Goetschi, Remo (2012). On the Realization and Classification of Justification Logics.

Eberhard, Sebastian; Strahm, Thomas (2012). Weak theories of truth and explicit mathematics. In: Berger, Ulrich; Diener, Hannes; Schuster, Peter (eds.) Logic, Construction, Computation (pp. 157-184). Heusenstamm bei Frankfurt: Ontos

Goetschi, Remo; Kuznets, Roman (2012). Realization for justification logics via nested sequents: Modularity through embedding. Annals of pure and applied logic, 163(9), pp. 1271-1298. Amsterdam: Elsevier 10.1016/j.apal.2012.02.002

Jäger, Gerhard; Zumbrunnen, Rico (2012). About the Strength of Operational Regularity. In: Berger, Ulrich; Diener, Hannes; Schuster, Peter (eds.) Logic, Construction, Computation (pp. 305-324). Heusenstamm bei Frankfurt: Ontos

Buss, Samuel R.; Kuznets, Roman (2012). Lower complexity bounds in justification logic. Annals of pure and applied logic, 163(7), pp. 888-905. Amsterdam: Elsevier 10.1016/j.apal.2011.09.010

Kuznets, Roman; Studer, Thomas (2012). Justifications, Ontology, and Conservativity. In: Bolander, Thmas; Braüner, Torben; Ghilardi, Silvio; Moss, Lawrence (eds.) Advances in Modal Logic, volume 9 (pp. 437-458). College Publications

Savateev, Yury (2012). Product-free Lambek calculus is NP-complete. Annals of pure and applied logic, 163(7), pp. 775-788. Amsterdam: Elsevier 10.1016/j.apal.2011.09.017

Studer, Thomas (2012). Justified Terminological Reasoning. In: Clarke, Edmund; Virbitskaite, Irina; Voronkov, Andrei (eds.) Perspectives of Systems Informatics. 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 7162 (pp. 349-361). Heidelberg: Springer Verlag 10.1007/978-3-642-29709-0_30

Mints, Grigori; Studer, Thomas (2012). Cut-elimination for the mu-calculus with one variable. In: D. Miller, D.; Esik, Z. (eds.) Fixed Points in Computer Science 2012.

2011

Bucheli, Samuel; Kuznets, Roman; Studer, Thomas (2011). Justifications for Common Knowledge. Journal of applied non-classical logics, 21(1), pp. 35-60. Paris: Ed. Hermes 10.3166/JANCL.21.35-60

Bucheli, Samuel; Kuznets, Roman; Studer, Thomas (2011). Partial Realization in Dynamic Justification Logic. In: Beklemishev, Lev D.; de Queiroz, Ruy (eds.) Logic, Language, Information and Computation, 18th International workshop, WoLLIC 2011, Philadelphia, PA, USA, May, 18-20, Proceedings. Lecture Notes in Computer Science: Vol. 6642 (pp. 35-51). Heidelberg: Springer Verlag 10.1007/978-3-642-20920-8_9

Jäger, Gerhard; Studer, Thomas (2011). A Buchholz rule for modal fixed point logics. Logica universalis, 5(1), pp. 1-19. Basel: Birkhäuser 10.1007/s11787-010-0022-1

Jäger, Gerhard; Probst, Dieter (2011). The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories. Annals of pure and applied logic, 162(8), pp. 647-660. Amsterdam: Elsevier 10.1016/j.apal.2011.01.009

Probst, Dieter (2011). The provably terminating operations of the subsystem (PETJ) of explicit mathematics. Annals of pure and applied logic, 162(11), pp. 934-947. Amsterdam: Elsevier 10.1016/j.apal.2011.04.004

Probst, Dieter; Strahm, Thomas (2011). Admissible closures of polynomial time computable arithmetic. Archive for mathematical logic, 50(5-6), pp. 643-660. Berlin: Springer International 10.1007/s00153-011-0238-7

Spescha, Daria; Strahm, Thomas (2011). Realizability in weak systems of explicit mathematics. Mathematical logic quarterly, 57(6), pp. 551-565. Weinheim: Wiley-VCH

Studer, Thomas (2011). Justification Logic, Inference Tracking, and Data Privacy. Logic and logical philosophy, 20(4), pp. 297-306. Toruń (PL): Nicholas Copernicus Univ. Press

Studer, Thomas (2011). An application of justification logic to protocol verification. In: Proceedings of Computational Intelligence and Security CIS 2011.

2010

Brünnler, Kai; Goetschi, Remo; Kuznets, Roman (2010). A syntactic realization theorem for justification logics. In: Beklemishev, Lev; Goranko, Valentin; Shehtman, Valentin (eds.) Advances in modal logic, volume 8 (pp. 39-58). College Publications

Bucheli, Samuel; Kuznets, Roman; Renne, Bryan; Sack, Joshua; Studer, Thomas (2010). Justified Belief Change. In: Arrazola, Xabier; Ponte, Maria (eds.) Proceedings of the Second ILCLI International Workshop on Logic and Philosphy of Knowledge, Communication and Action (LogKCA-10).

Bucheli, Samuel; Kuznets, Roman; Studer, Thomas (2010). Two ways to common knowledge. In: Bolander, Thomas; Braüner, Torben (eds.) Proceedings of the 6th workshop on Methods for Modalities (M4M-6 2009), Copenhagen, Denmark, 12-14 November 2009. Electronic Notes in Theoretical Computer Science: Vol. 262 (pp. 83-98). Amsterdam: Elsevier 10.1016/j.entcs.2010.04.007

Jäger, Gerhard; Krähenbühl, Jürg (2010). Choice in a Theory of sets and classes. In: Schindler, Ralf (ed.) Ways of Proof Theory. Ontos mathematical logic: Vol. 2 (pp. 283-314). Heusenstamm bei Frankfurt: Ontos

Jäger, Gerhard (2010). Modal Fixed Point Logics. In: Esparza, Javier; Spanfelner, Bernd; Grumberg, Orna (eds.) Logics and Languages for Reliability and Security. NATO Science for Peace and Security Series. D: Information and Communication Security: Vol. 25 (pp. 129-154). IOS Press 10.3233/978-1-60750-100-8-129

Spescha, Daria; Strahm, Thomas (2010). Realisability in weak systems of explicit mathematics. Mathematical logic quarterly, 57(6), pp. 551-565. Weinheim: Wiley-VCH 10.1002/malq.201020064

Feferman, Solomon; Strahm, Thomas (2010). Unfolding finitist arithmetic. Review of symbolic logic, 3(4), pp. 665-689. Cambridge, Mass.: Cambridge University Press 10.1017/S1755020310000183

Studer, Thomas (2010). Privacy Preserving Modules for Ontologies. In: Pnueli, A.; Virbitskaite, I.; Voronkov, A. (eds.) Proceedings of Perspectives of System Informatics PSI '09. Lecture Notes in Computer Science: Vol. 5947 (pp. 380-387). Heidelberg: Springer Verlag

McKinley, Richard (2010). Expansion nets: Proof nets for propositional classical logic. In: Fermüller, Christian; Voronkov, Andrei (eds.) Logic for Programming, Artificial Intelligence, and Reasoning. 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings 6397 (pp. 535-549). Heidelberg: Springer Verlag 10.1007/978-3-642-16242-8

2009

Alberucci, Luca (2009). Sequent calculi for the modal mu-calculus over S5. Journal of logic and computation, 19(6), pp. 971-985. Oxford: Oxford University Press 10.1093/logcom/exn106

Alberucci, Luca; Facchini, Alessandro (2009). On Modal mu-Calculus and Gödel-Löb Logic. Studia logica, 91(2), pp. 145-169. Dordrecht: Springer Science + Business Media 10.1007/s11225-009-9170-9

Alberucci, Luca; Facchini, Alessandro (2009). The modal mu-calculus hierarchy over restricted classes of transition systems. The journal of symbolic logic, 74(4), pp. 1367-1400. Champaign, Ill.: Cambridge University Press 10.2178/jsl/1254748696

Studer, Thomas (2009). Common knowledge does not have the Beth property. Information processing letters, 109(12), 611--614. Amsterdam: Elsevier 10.1016/j.ipl.2009.02.011

Brünnler, Kai; Studer, Thomas (2009). Syntactic cut-elimination for common knowledge. Annals of pure and applied logic, 160(1), pp. 82-95. Amsterdam: Elsevier 10.1016/j.apal.2009.01.014

Stouppa, Phiniki; Studer, Thomas (2009). Data Privacy for ALC Knowledge Bases. In: Artemov, Sergei; Nerode, Anil (eds.) Logical Foundations of Computer Science. International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings. Lecture Notes in Computer Science: Vol. 5407 (pp. 409-421). Heidelberg: Springer Verlag 10.1007/978-3-540-92687-0_28

Brünnler, Kai; Studer, Thomas (2009). Syntactic cut-elimination for common knowledge. In: Areces, C.; Demri, S. (eds.) Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007). Electronic Notes in Theoretical Computer Science: Vol. 231 (pp. 227-240). Amsterdam: Elsevier 10.1016/j.entcs.2009.02.038

Jäger, Gerhard (2009). Full operational set theory with unbounded existential quantification and power set. Annals of pure and applied logic, 160(1), pp. 33-52. Amsterdam: Elsevier 10.1016/j.apal.2009.01.010

Brünnler, Kai; Strassburger, Lutz (2009). Modular Sequent Systems for Modal Logic. In: Giese, Martin; Waaler, Arild (eds.) Automated Reasoning with Analytic Tableaux and Related Methods. 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings. Lecture Notes in Computer Science: Vol. 5607 (pp. 152-166). Heidelberg: Springer Verlag 10.1007/978-3-642-02716-1_12

Brünnler, Kai (2009). Deep Sequent Systems for Modal Logic. Archive for mathematical logic, 48(6), pp. 551-577. Berlin: Springer International 10.1007/s00153-009-0137-3

Buss, Samuel R.; Kuznets, Roman (2009). The NP-Completeness of Reflected Fragments of Justification. In: Artemov, Sergei; Nerode, Anil (eds.) Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings. Lecture Notes in Computer Science: Vol. 5407 (pp. 122-136). Heidelberg: Springer Verlag 10.1007/978-3-540-92687-0_9

Kuznets, Roman (2009). Self-Referential Justifications in Epistemic Logic. Theory of computing systems, 46(4), pp. 636-661. New York, N.Y.: Springer 10.1007/s00224-009-9209-3

Artemov, Sergei; Kuznets, Roman (2009). Logical omniscience as a computational complexity problem. In: Heifetz, Aviad (ed.) TARK '09. Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (p. 14). New York: Association for Computing Machinery ACM 10.1145/1562814.1562821

Kuznets, Roman (2009). A Note on the Use of Sum in the Logic of Proofs. In: Drossos, Costas; , ; , ; Tsinakis, Constantine (eds.) Proceedings of the 7th Panhellenic Logic Symposium (pp. 99-103). Patras University Press

Bucheli, Samuel; Kuznets, Roman; Studer, Thomas (2009). Two Ways to Common Knowledge. In: Preliminary proceedings of the 6th Workshop on Methods for Modalities (2009 M4M-6). Computer Science Research Reports: Vol. 128 (pp. 73-87). Roskilde University

McKinley, Richard (2009). The alpha-epsilon calculus. In: Proceedings of Workshop on Structures and Deduction.

Spescha, Daria; Strahm, Thomas (2009). Elementary explicit types and polynomial time operations. Mathematical logic quarterly, 55(3), pp. 245-258. Weinheim: Wiley-VCH 10.1002/malq.200810004

2008

Studer, Thomas (2008). On the proof theory of the modal mu-calculus. Studia logica, 89(3), pp. 343-363. Dordrecht: Springer Science + Business Media 10.1007/s11225-008-9133-6

Jäger, Gerhard; Kretz, Mathis; Studer, Thomas (2008). Canonical completeness of infinitary mu. Journal of logic and algebraic programming, 76(2), pp. 270-292. New York, N.Y.: North-Holland 10.1016/j.jlap.2008.02.005

Brünnler, Kai; Probst, Dieter; Studer, Thomas (2008). On contraction and the modal fragment. Mathematical logic quarterly, 54(4), pp. 345-349. Weinheim: Wiley-VCH 10.1002/malq.200710043

Brünnler, Kai; McKinley, Richard (2008). An Algorithmic Interpretation of a Deep Inference System. In: Cervesato, Iliano; Veith, Helmut; Voronkov, Andrei (eds.) Logic for Programming, Artificial Intelligence, and Reasoning. 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. Lecture Notes in Computer Science: Vol. 5330 (pp. 482-496). Heidelberg: Springer Verlag 10.1007/978-3-540-89439-1_34

Kuznets, Roman (2008). Self-referentiality of Justified Knowledge. In: Hirsch, Edward A.; Razborov, Alexander A.; Semenov, Alexei; Slissenko, Anatol (eds.) Computer Science - Theory and ApplicationsThird International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008. Proceedings. Lecture Notes in Computer Science: Vol. 5010 (pp. 228-239). Heidelberg: Springer Verlag 10.1007/978-3-540-79709-8_24

McKinley, Richard (2008). Soft linear set theory. Journal of logic and algebraic programming, 76(2), pp. 226-245. New York, N.Y.: North-Holland 10.1016/j.jlap.2008.02.010

Strahm, Thomas; Zucker, Jeffery (2008). Primitive recursive selection functions for existential assertions over abstract algebras. Journal of logic and algebraic programming, 76(2), pp. 175-197. New York, N.Y.: North-Holland 10.1016/j.jlap.2008.02.002

Strahm, Thomas (ed.) (2008). Dialectica. Special Issue: Gödel's dialectica Interpretation, 62(2). John Wiley & Sons 10.1111/j.1746-8361.2008.01135.x

2007

Jäger, Gerhard (2007). On Feferma's operational set theory. Annals of pure and applied logic, 150(1-3), pp. 19-39. Amsterdam: Elsevier 10.1016/j.apal.2007.09.001

Jäger, Gerhard; Kretz, Mathis; Studer, Thomas (2007). Cut-free common knowledge. Journal of applied logic, 5(4), pp. 681-689. Amsterdam: Elsevier 10.1016/j.jal.2006.02.003

Kottmann, Norbert; Studer, Thomas (2007). Improving semantic query answering. In: Database and Expert Systems Applications. Proceedings of the18th International Conference, DEXA 2007. Lecture Notes in Computer Science: Vol. 4653 (pp. 671-679). Heidelberg: Springer Verlag 10.1007/978-3-540-74469-6_65

Steiner, David; Studer, Thomas (2007). Total public announcements. In: Logical Foundations of Computer Science. Proceedings of the International Symposium, LFCS 2007. Lecture Notes in Computer Science: Vol. 4514 (pp. 498-511). Heidelberg: Springer Verlag 10.1007/978-3-540-72734-7_35

Stouppa, Phiniki (2007). A deep inference system for the modal logic S5. Studia logica, 85(2), pp. 199-214. Dordrecht: Springer Science + Business Media 10.1007/s11225-007-9028-y

Stouppa, Phiniki; Studer, Thomas (2007). A formal model of data privacy. In: Virbitskaite, Irina; Voronkov, Andrei (eds.) Perspectives of Systems Informatics. 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers. Theoretical Computer Science and General Issues: Vol. 4378 (pp. 400-408). Heidelberg: Springer Verlag 10.1007/978-3-540-70881-0_34

2006

Brünnler, Kai (2006). Cut elimination inside a deep inference system for classical predicate logic. Studia logica, 82(1), pp. 51-71. Dordrecht: Springer Science + Business Media

Kretz, Mathis; Studer, Thomas (2006). Deduction chains for common knowledge. Journal of applied logic, 4(3), pp. 331-357. Amsterdam: Elsevier

Steiner, David (2006). A system for consistency preserving belief change. In: Artemov, Sergei; Parikh, Rohit (eds.) Proceedings of Rationality and Knowledge. 18th European Summer School of Logic, Language and Information (pp. 133-144). Nancy: Association for Logic, Language and Information

Steiner, David; Strahm, Thomas (2006). On the proof theory of type two functionals based on primitive recursive operations. Mathematical logic quarterly, 52(3), pp. 237-252. Weinheim: Wiley-VCH 10.1002/malq.200510029

Brünnler, Kai (2006). Deep Sequent Systems for Modal Logic. In: Governatori, Guido; Hodkinson, Ian; Venema, Yde (eds.) Advances in Modal Logic. Volume 6 (pp. 107-119). College Publications

Brünnler, Kai (2006). Deep inference and its normal form of derivations. In: Beckmann, Arnold; Berger, Ulrich; Löwe, Benedikt; Tucker, John V. (eds.) Logical Approaches to Computational Barriers. Second Conference on Computability in Europe, CiE 2006, Swansea, UK, July 2006, Proceedings. Lecture Notes in Computer Science: Vol. 3988 (pp. 65-74). Heidelberg: Springer Verlag 10.1007/11780342_7

Probst, Dieter (2006). The proof-theoretic analysis of transfinitely iterated quasi least fixed points. The journal of symbolic logic, 71(3), pp. 721-746. Champaign, Ill.: Cambridge University Press 10.2178/jsl/1154698573

This list was generated on Tue Aug 22 04:33:46 2017 CEST.
Provide Feedback