Search results for "consecutions"

Found 8 publication records. Showing 8 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
197	Vladimir V. Rybakov	Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms.	CSR	2006	DBLP DOI BibTeX RDF	consecutions, admissible rules, algorithms, inference rules, linear temporal logic, logic in computer science, logical consequence
153	Vladimir V. Rybakov	Branching Time Logics BTLU, SN, N-1(Z)a with Operations Until and Since Based on Bundles of Integer Numbers, Logical Consecutions, Deciding Algorithms.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Logical consecutions, Admissible consecutions, Algorithms, Temporal logic, Decidability, Inference rules, Linear temporal logic, Branching time logic
56	Vladimir V. Rybakov	Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms.	LFCS	2007	DBLP DOI BibTeX RDF	admissible inference rules, Temporal logic, linear temporal logic, branching time logic
36	Vladimir V. Rybakov	Linear temporal logic with until and next, logical consecutions.	Ann. Pure Appl. Log.	2008	DBLP DOI BibTeX RDF
36	Vladimir V. Rybakov	Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous.	Fundam. Informaticae	2007	DBLP BibTeX RDF
36	Vladimir V. Rybakov	Logics with the universal modality and admissible consecutions.	J. Appl. Non Class. Logics	2007	DBLP DOI BibTeX RDF
36	Vladimir V. Rybakov	Logical consecutions in discrete linear temporal logic.	J. Symb. Log.	2005	DBLP DOI BibTeX RDF
36	Vladimir V. Rybakov	Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals.	J. Log. Comput.	2005	DBLP DOI BibTeX RDF

Displaying result #1 - #8 of 8 (100 per page; Change: )