Search results for "Vladimir V. Rybakov"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Vladimir V. Rybakov	Best Unifiers in Transitive Modal Logics.	Studia Logica	2011	DBLP DOI BibTeX RDF
1	Sergey Babenyshev, Vladimir V. Rybakov	Linear Temporal Logic LTL: Basis for Admissible Rules.	J. Log. Comput.	2011	DBLP DOI BibTeX RDF
1	Sergey Babenyshev, Vladimir V. Rybakov	Unification in linear temporal logic LTL.	Ann. Pure Appl. Logic	2011	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov	Inference Rules in Multi-agents' Temporal Logics.	T. Computational Collective Intelligence	2011	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov	Agents' Logics with Common Knowledge and Uncertainty: Unification Problem, Algorithm for Construction Solutions.	KES	2011	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov	Representation of Knowledge and Uncertainty in Temporal Logic LTL with Since on Frames Z of Integer Numbers.	KES	2011	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov	Chance Discovery and Unification in Linear Modal Logic.	KES	2011	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov	Rules admissible in transitive temporal logic TS4, sufficient condition.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov	Algorithm for Decision Procedure in Temporal Logic Treating Uncertainty, Plausibility, Knowledge and Interacting Agents.	IJIIT	2010	DBLP BibTeX RDF
1	Sergey Babenyshev, Vladimir V. Rybakov	Logics of Kripke meta-models.	Logic Journal of the IGPL	2010	DBLP DOI BibTeX RDF
1	Sergey Babenyshev, Vladimir V. Rybakov, Renate A. Schmidt, Dmitry Tishkovsky	A Tableau Method for Checking Rule Admissibility in S4.	Electr. Notes Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Sergey Babenyshev, Vladimir V. Rybakov	Logical Analysis of Multi-agent Kripke Structures.	Agent and Multi-agent Technology for Internet and Enterprise Systems	2010	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov	Temporal Logic TL ^Z_ {DU} Modeling Local and Global Discovery with Logical Uncertainty.	ICDM Workshops	2010	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov	Interpretation of Chance Discovery in Temporal Logic, Admissible Inference Rules.	KES	2010	DBLP DOI BibTeX RDF
1	Sergey Babenyshev, Vladimir V. Rybakov	Reasoning and Inference Rules in Basic Linear Temporal Logic BLTL\mathcal{BLTL}.	KES	2010	DBLP DOI BibTeX RDF
1	Sergey Babenyshev, Vladimir V. Rybakov	A Framework to Compute Inference Rules Valid in Agents' Temporal Logics.	KES	2010	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov, Sergey Babenyshev	Multi-agent Logic with Distances Based on Linear Temporal Frames.	ICAISC	2010	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov	Logic of knowledge and discovery via interacting agents - Decision algorithm for true and satisfiable statements.	Inf. Sci.	2009	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov	Linear Temporal Logic LTKK extended by Multi-Agent Logic Kn with Interacting Agents.	J. Log. Comput.	2009	DBLP DOI BibTeX RDF
1	Sergey Babenyshev, Vladimir V. Rybakov	Logic of discovery and knowledge. Decision algorithm.	Intelligent Decision Technologies	2009	DBLP DOI BibTeX RDF
1	Sergey Babenyshev, Vladimir V. Rybakov	Temporal Logic for Modeling Discovery and Logical Uncertainty.	KES	2009	DBLP DOI BibTeX RDF	decidability algorithms, Kripke/Hintikka models, temporal logic, uncertainty, chance discovery
1	Sergey Babenyshev, Vladimir V. Rybakov	Describing Evolutions of Multi-Agent Systems.	KES	2009	DBLP DOI BibTeX RDF	multi-agent systems, satisfiability, decision algorithms, Kripke semantics, multi-modal logics
1	Vladimir V. Rybakov	Temporal logic with interacting agents.	Journal of Applied Non-Classical Logics	2008	DBLP BibTeX RDF
1	Vladimir V. Rybakov	Multi-modal and Temporal Logics with Universal Formula - Reduction of Admissibility to Validity and Unification.	J. Log. Comput.	2008	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov	Linear temporal logic with until and next, logical consecutions.	Ann. Pure Appl. Logic	2008	DBLP DOI BibTeX RDF
1	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
1	Vladimir V. Rybakov, Sergey Babenyshev	Algorithms for AI Logic of Decisions in Multi-Agent Environment.	ICEIS	2008	DBLP BibTeX RDF
1	Sergey Babenyshev, Vladimir V. Rybakov	Logic of Plausibility for Discovery in Multi-agent Environment Deciding Algorithms.	KES	2008	DBLP DOI BibTeX RDF	multi-agent’s reasoning, Kripke/Hintikka models, linear temporal logic, hybrid logics, decision algorithms, plausibility
1	Sergey Babenyshev, Vladimir V. Rybakov	Logic of Discovery and Knowledge: Decision Algorithm.	KES	2008	DBLP DOI BibTeX RDF	Kripke-Hintikka models, rules in normal reduced form, modal logic, decidability, inference rules, chance discovery
1	Vladimir V. Rybakov	Multi-agent Logics with Interacting Agents Based on Linear Temporal Logic: Deciding Algorithms.	ICAISC	2008	DBLP DOI BibTeX RDF	multi-agent logic, knowledge based reasoning, relational Kripke/Hintikka models, decidability algorithms, hybrid logics
1	Sergey Babenyshev, Vladimir V. Rybakov	Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL.	CiE	2008	DBLP DOI BibTeX RDF	multi-agent logics, relational Kripke-Hintikka models, decidability algorithms, satisfiability, linear temporal logic, hybrid logics
1	Vladimir V. Rybakov	Logics with the universal modality and admissible consecutions.	Journal of Applied Non-Classical Logics	2007	DBLP BibTeX RDF
1	Erica Calardo, Vladimir V. Rybakov	An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK.	Logic Journal of the IGPL	2007	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov	Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous.	Fundam. Inform.	2007	DBLP BibTeX RDF
1	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
1	Vladimir V. Rybakov	Logic of Discovery in Uncertain Situations- Deciding Algorithms.	KES	2007	DBLP DOI BibTeX RDF	logic of discovery, Kripke/Hintikka models, rules in normal reduced form, Modal logic, inference rules
1	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
1	M. I. Golovanov, A. V. Kosheleva, Vladimir V. Rybakov	Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules.	Logic Journal of the IGPL	2005	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov	Logical consecutions in discrete linear temporal logic.	J. Symb. Log.	2005	DBLP BibTeX RDF
1	Vladimir V. Rybakov	Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals.	J. Log. Comput.	2005	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov	Inference in Temporal Next-Time Logic.	We Will Show Them!	2005	DBLP BibTeX RDF
1	Vladimir V. Rybakov	Tabular Logics with no Finite Bases for Inference Rules.	Logic Journal of the IGPL	2004	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov	Refined common knowledge logics or logics of common information.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov	Barwise's information frames and modal logics.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov	Construction of an Explicit Basis for Rules Admissible in Modal System S4.	Math. Log. Q.	2001	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov, Mehmet Terziler, Vitaliy Remazki	A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC.	Math. Log. Q.	2000	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer	Unification and passive inference rules for modal logics.	Journal of Applied Non-Classical Logics	2000	DBLP BibTeX RDF
1	Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer	On Self-Admissible Quasi-Characterizing Inference Rules.	Studia Logica	2000	DBLP DOI BibTeX RDF
1	Vladimir R. Kiyatkin, Vladimir V. Rybakov, Tahsin Oner	On Finite Model Property for Admissible Rules.	Math. Log. Q.	1999	DBLP BibTeX RDF
1	Vladimir V. Rybakov, Vladimir R. Kiyatkin, Mehmet Terziler	Independent Bases for Rules Admissible in Pretabular Logics.	Logic Journal of the IGPL	1999	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov, Çigdem Gencer, Tahsin Oner	Description of Modal Logics Inheriting Admissible Rules for S4.	Logic Journal of the IGPL	1999	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov	Quasi-Characteristic Inference Rules for Modal Logics.	LFCS	1997	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov	Hereditarily Structurally Complete Modals Logics.	J. Symb. Log.	1995	DBLP BibTeX RDF
1	Vladimir V. Rybakov	Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property.	Studia Logica	1994	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov	Preserving of Admissible Inference Rules in Modal Logics.	LFCS	1994	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov	Modal Logics Preserving Admissible for S4 Inference Rules.	CSL	1994	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov	Intermediate Logics Preserving Admissible Inference Rules of Heyting Calculus.	Math. Log. Q.	1993	DBLP BibTeX RDF
1	Vladimir V. Rybakov	A Modal Analog for Glivenko's Theorem and its Applications.	Notre Dame Journal of Formal Logic	1992	DBLP BibTeX RDF
1	Vladimir V. Rybakov	Rules of Inference with Parameters for Intuitionistic Logic.	J. Symb. Log.	1992	DBLP BibTeX RDF
1	Vladimir V. Rybakov	Problems of Substitution and Admissibility in the Modal System Grz and in Intuitionistic Propositional Calculus.	Ann. Pure Appl. Logic	1990	DBLP DOI BibTeX RDF

Publications of "Vladimir V. Rybakov" ( http://dblp.L3S.de/Authors/Vladimir_V._Rybakov )