Search results

Paper Multi-Dimensional Interpretations of Presburger Arithmetic in Itself 2020-04-05 Paper Complexity of the interpretability logic IL 2019-11-04 Paper Reflection...

epistemic logics with structured knowledge 2022-06-17 Paper Graded epistemic logic with public announcement 2022-03-09 Paper Hybrid dynamic logic institutions...

interval dynamic logic 2018-09-27 Paper A logic for the stepwise development of reactive systems 2018-09-24 Paper A short overview of Hidden Logic 2018-09-13...

matrices 2007-02-07 Paper MV*—Algebras 2005-03-11 Paper Chang's Ł*Logic 2005-03-11 Paper The logic of equilibrium and abelian lattice ordered groups 2004-09-22...

Paper The role of logical interpretations in program development 2014-01-22 Paper A coalgebraic perspective on logical interpretations 2013-09-23 Paper https://portal...

2011-03-09 Paper Logical problems of functional interpretations 2002-03-13 Paper Realizability and intuitionistic logic 1984-01-01 Paper https://portal.mardi4nfdi...

Order-theoretically reconstructing logic program semantics and abstract domain refinements 1999-01-13 Paper Abductive analysis of modular logic programs 1999-01-11 Paper...

Comparison of abstract interpretations 2019-12-04 Paper Sharing is optimal 2000-08-01 Paper The powerset operator on abstract interpretations 2000-01-12 Paper...

order-theoretic analysis of interpretations among propositional deductive systems 2016-01-12 Paper Editorial. Many-Valued Logic ’12 2015-11-26 Paper Semiring...

Intuitionistic Linear Logic 2009-11-12 Paper Hoare Logic in the Abstract 2009-03-12 Paper Computational Interpretations of Classical Linear Logic 2009-03-10 Paper...

Theory of Co-Intuitionistic Linear Logic 2014-09-30 Paper On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems 2014-05-14...

constraint logic programs 2022-08-16 Paper Confluence in concurrent constraint programming 2022-08-16 Paper Proving correctness of Constraint Logic Programs...

relation 2022-12-20 Paper Deriving logical relations from interpretations of predicate logic 2022-04-29 Paper Logical relations and parametricity -- a...

of the extensions of a logic 2018-03-29 Paper The strong version of a sentential logic 2017-11-16 Paper Four-valued modal logic: Kripke semantics and duality...

Structural completeness in many-valued logics with rational constants 2022-10-10 Paper THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE 2021-12-09...

of the provability logic GLP 2015-08-27 Paper Topological Interpretations of Provability Logic 2015-06-19 Paper On provability logics with linearly ordered...

Verification in (Constraint Logic) Programming 2010-07-20 Paper An efficient simulation algorithm based on abstract interpretation 2010-01-12 Paper Computing...

Embedding logics into product logic 2001-04-19 Paper Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic 2001-01-14...

of Publication Type Modal interpretations of three-valued logic. I 1979-01-01 Paper Modal interpretations of three-valued logic. II 1979-01-01 Paper...

positive logic 2023-06-19 Paper Bilinear spaces over a fixed field are simple unstable 2023-04-27 Paper Type space functors and interpretations in positive...