Search results

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

interpretability logic IL 2019-11-04 Paper Truth, disjunction, and induction 2019-07-04 Paper ON A QUESTION OF KRAJEWSKI’S 2019-03-15 Paper Interpretations of Presburger...

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...

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

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...

Functional Interpretations of Intuitionistic Linear Logic 2011-05-26 Paper Proof interpretations with truth 2011-01-10 Paper Computational Interpretations of Analysis...

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...

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 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...

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

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...

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

2009-06-16 Paper The knower paradox in the light of provability interpretations of modal logic 2005-06-16 Paper...

for paraconsistent logic 2021-01-08 Paper https://portal.mardi4nfdi.de/entity/Q5116453 2020-08-25 Paper What is a Paraconsistent Logic? 2020-08-06 Paper...

for Writing Derivations and Finite Interpretations 2009-03-12 Paper Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation 2009-03-12...