R. Alonderis

Available identifiers

zbMath Open alonderis.romasMaRDI QIDQ174447

List of research outcomes

Publication	Date of Publication	Type
More efficient proof-search for sequents of temporal logic	2022-12-20	Paper
Loop-check specification for a sequent calculus of temporal logic	2022-11-29	Paper
Finite sequent calculi for PLTL	2022-10-18	Paper
Brodskio kodavimo metodas teiginių logikai;Brodsky’s coding method for propositional logic	2022-10-18	Paper
Applications of logic of correlated knowledge to quantum mechanics	2022-10-18	Paper
A derivation-loop method for temporal logic	2022-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q5869513	2022-09-28	Paper
A proof-search system for the logic of likelihood	2022-06-16	Paper
A proof-search system for the logic of likelihood	2022-06-16	Paper
Loop-type sequent calculi for temporal logic	2021-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q4639651	2018-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q2811589	2016-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q2809674	2016-05-30	Paper
https://portal.mardi4nfdi.de/entity/Q2799620	2016-04-13	Paper
https://portal.mardi4nfdi.de/entity/Q2791888	2016-03-16	Paper
https://portal.mardi4nfdi.de/entity/Q2791889	2016-03-16	Paper
https://portal.mardi4nfdi.de/entity/Q3463988	2016-01-20	Paper
A proof-search procedure for intuitionistic propositional logic	2013-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q3173797	2011-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q3607556	2009-03-02	Paper
A coding method for a sequent calculus of propositional logic	2008-09-22	Paper
Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic	2007-05-18	Paper
Sequent calculi for propositional star-free likelihood logic	2005-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4809712	2004-08-30	Paper
Glivenko classes of sequents for temporal logic with time gaps	2003-05-19	Paper
Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps	2002-01-29	Paper
Proof-theoretical investigation of temporal logic with time gaps	2001-10-23	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: R. Alonderis