Romas 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
Brodskio kodavimo metodas teiginių logikai;Brodsky’s coding method for propositional logic	2022-10-18	Paper
Finite sequent calculi for PLTL	2022-10-18	Paper
A derivation-loop method for temporal logic	2022-10-18	Paper
Applications of logic of correlated knowledge to quantum mechanics	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
Proof-search of propositional intuitionistic logic sequents by means of classical logic calculus	2016-06-10	Paper
Specialization of antecedent negation loop-rule for a fragment of propositional intuitionistic logic sequent calculus	2016-05-30	Paper
Sequent systems for PLTL	2016-04-13	Paper
A sequent calculus for propositional temporal logic with time gaps	2016-03-16	Paper
Cut, invariant rule, and loop-check free sequent calculus for PLTL	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

This page was built for person: Romas Alonderis