Search results
From MaRDI portal
- Aybüke Özgün (section List of research outcomes)dynamic logic for learning theory 2018-04-12 Paper Quotient dynamics: the logic of abstraction 2017-11-22 Paper Topo-logic as a dynamic-epistemic logic 2017-11-22...10 bytes (13 words) - 15:33, 6 October 2023
- Lutz Schröder (section List of research outcomes)Framework of Generic Effects 2012-06-01 Paper STRONG COMPLETENESS OF COALGEBRAIC MODAL LOGICS 2012-04-24 Paper Named Models in Coalgebraic Hybrid Logic 2012-01-23...10 bytes (15 words) - 15:53, 24 September 2023
- Lars Birkedal (section List of research outcomes)concurrent separation logic 2017-10-20 Paper A relational model of types-and-effects in higher-order concurrent separation logic 2017-10-20 Paper Guarded...10 bytes (15 words) - 02:23, 9 December 2023
- John Power (section List of research outcomes)models of the untyped \(\lambda\)-calculus 2013-12-04 Paper Countable Lawvere theories and computational effects 2013-12-04 Paper Computational effects and...10 bytes (14 words) - 15:31, 8 December 2023
- Luís Moniz Pereira (section List of research outcomes)2012-05-23 Paper Tight semantics for logic programs 2012-05-11 Paper Inspecting Side-Effects of Abduction in Logic Programs 2011-05-19 Paper Cluster-Lift...10 bytes (15 words) - 19:59, 11 December 2023
- Dirk Pattinson (section List of research outcomes)Coalgebraic modal logic: soundness, completeness and decidability of local consequence 2004-10-27 Paper Expressivity results in the modal logic of coalgebras...10 bytes (13 words) - 18:52, 6 October 2023
- Thomas Eiter (section List of research outcomes)Description Logic Horn- $\mathcal{SHIQ}$ 2008-10-27 Paper Undoing the effects of action sequences 2008-09-23 Paper Computational aspects of monotone dualization:...10 bytes (15 words) - 11:36, 8 December 2023
- Stan Gudder (section List of research outcomes)Computation 2004-06-14 Paper Sequential product of quantum effects 2003-10-29 Paper Quantum computational logic 2003-06-18 Paper Morphisms, tensor products...10 bytes (15 words) - 11:51, 28 January 2024
- Roberto Giuntini (section List of research outcomes)to logic and philosophy of science 2018-02-05 Paper A quantum-inspired version of the classification problem 2018-02-05 Paper On some properties of PBZ\(^*\)-lattices...10 bytes (14 words) - 11:25, 11 December 2023
- Stéphane Demri (section List of research outcomes)tableau system for the logic of elsewhere 2019-01-10 Paper On the complexity of resource-bounded logics 2018-11-23 Paper Separation logics and modalities: a...10 bytes (14 words) - 06:38, 9 December 2023
- Shin-ya Katsumata (section List of research outcomes)Paper Combining effects and coeffects via grading 2017-05-10 Paper Towards a Formal Theory of Graded Monads 2016-06-10 Paper Algebraic fusion of functions with...10 bytes (15 words) - 18:10, 24 September 2023
- Wei-Ngan Chin (section List of research outcomes)Verification of Shape and Size Properties Via Separation Logic 2008-04-04 Paper Runtime Checking for Separation Logic 2008-04-04 Paper Solving a class of higher-order...10 bytes (15 words) - 08:08, 25 September 2023
- Martin Hofmann (section List of research outcomes)Semantic Proof of Polytime Soundness of Light Affine Logic 2008-06-05 Paper Reading, Writing and Relations 2008-05-06 Paper A Bytecode Logic for JML and Types...10 bytes (16 words) - 05:07, 12 December 2023
- Katsumi Inoue (section List of research outcomes)Characterization of logic program revision as an extension of propositional revision 2017-11-09 Paper Catnap: generating test suites of constrained combinatorial...10 bytes (13 words) - 14:59, 11 December 2023
- Francesco Paoli (section List of research outcomes)ALGEBRAISATION OF ORTHOMODULAR LOGIC 2017-01-16 Paper On some properties of directoids 2016-11-22 Paper Projectable \(\ell\)-groups and algebras of logic: categorical...10 bytes (14 words) - 13:58, 10 December 2023
- Carolyn Talcott (section List of research outcomes)OBJECT SYSTEMS IN VTLoE 1995-10-29 Paper A variable typed logic of effects 1995-08-01 Paper A theory of binding structures and applications to rewriting 1993-10-17...10 bytes (16 words) - 13:33, 8 December 2023
- Sam Staton (section List of research outcomes)Predicate Logic 2013-03-18 Paper Relating Coalgebraic Notions of Bisimulation 2012-06-01 Paper Linearly-Used State in Models of Call-by-Value 2011-09-02 Paper...10 bytes (13 words) - 07:07, 7 October 2023
- Jan Broersen (section List of research outcomes)Deontic Logic for Socially Optimal Norms 2008-08-28 Paper Embedding Alternating-time Temporal Logic in Strategic Logic of Agency 2007-04-13 Paper Logics in...10 bytes (14 words) - 12:51, 28 January 2024
- S. S. Goncharov (section List of research outcomes)degrees of complete formulas of almost prime models 2020-02-28 Paper Decompositions of decidable abelian groups 2020-02-17 Paper Generic Hoare Logic for Order-Enriched...10 bytes (17 words) - 13:05, 10 December 2023
- Xuhua Liu (section List of research outcomes)Dialectic operator fuzzy logic 1997-05-05 Paper Reasoning formalism in Boolean operator fuzzy logic 1996-02-01 Paper Fuzzy operator logic and fuzzy resolution...10 bytes (13 words) - 22:09, 9 December 2023
