R. Alonderis

From MaRDI portal
Person:174447

Available identifiers

zbMath Open alonderis.romasMaRDI QIDQ174447

List of research outcomes

PublicationDate of PublicationType
More efficient proof-search for sequents of temporal logic2022-12-20Paper
Loop-check specification for a sequent calculus of temporal logic2022-11-29Paper
Finite sequent calculi for PLTL2022-10-18Paper
Brodskio kodavimo metodas teiginių logikai;Brodsky’s coding method for propositional logic2022-10-18Paper
Applications of logic of correlated knowledge to quantum mechanics2022-10-18Paper
A derivation-loop method for temporal logic2022-10-18Paper
https://portal.mardi4nfdi.de/entity/Q58695132022-09-28Paper
A proof-search system for the logic of likelihood2022-06-16Paper
A proof-search system for the logic of likelihood2022-06-16Paper
Loop-type sequent calculi for temporal logic2021-02-17Paper
https://portal.mardi4nfdi.de/entity/Q46396512018-05-11Paper
https://portal.mardi4nfdi.de/entity/Q28115892016-06-10Paper
https://portal.mardi4nfdi.de/entity/Q28096742016-05-30Paper
https://portal.mardi4nfdi.de/entity/Q27996202016-04-13Paper
https://portal.mardi4nfdi.de/entity/Q27918882016-03-16Paper
https://portal.mardi4nfdi.de/entity/Q27918892016-03-16Paper
https://portal.mardi4nfdi.de/entity/Q34639882016-01-20Paper
A proof-search procedure for intuitionistic propositional logic2013-11-06Paper
https://portal.mardi4nfdi.de/entity/Q31737972011-10-10Paper
https://portal.mardi4nfdi.de/entity/Q36075562009-03-02Paper
A coding method for a sequent calculus of propositional logic2008-09-22Paper
Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic2007-05-18Paper
Sequent calculi for propositional star-free likelihood logic2005-11-11Paper
https://portal.mardi4nfdi.de/entity/Q48097122004-08-30Paper
Glivenko classes of sequents for temporal logic with time gaps2003-05-19Paper
Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps2002-01-29Paper
Proof-theoretical investigation of temporal logic with time gaps2001-10-23Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: R. Alonderis