BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Dov Gabbay
SearchCollections
Map detail
Dov Gabbay12 visible / 12 total nodes / 11 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipDov GabbayADov GabbayResearcherCritical analysis of the Carmo-Jones system of Contrary-to-Duty obligationsWCritical analysis of th...preprint / 2010Conditionals and modularity in general logicsWConditionals and modula...preprint / 2010Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional CaseWInterpolation in Equili...preprint / 2010Equilibria und weiteres Heiteres IIWEquilibria und weiteres...preprint / 2012Equilibria und weiteres HeiteresWEquilibria und weiteres...preprint / 2011Interpolable Formulas in Equilibrium Logic and Answer Set ProgrammingWInterpolable Formulas i...preprint / 2014The Attack as Strong Negation, Part IWThe Attack as Strong Ne...preprint / 2015The Attack as Intuitionistic NegationWThe Attack as Intuition...preprint / 2015Embedding and Automating Conditional Logics in Classical Higher-Order LogicWEmbedding and Automatin...preprint / 2011Abduction and Dialogical Proof in Argumentation and Logic ProgrammingWAbduction and Dialogica...preprint / 2014Value-based Practical Reasoning: Modal Logic + ArgumentationWValue-based Practical R...preprint / 2022
Person11 links

Dov Gabbay

Researcher

PaperCritical analysis of the Carmo-Jones system of Contrary-to-Duty obligationsAuthorship / preprint / 2010PaperConditionals and modularity in general logicsAuthorship / preprint / 2010PaperInterpolation in Equilibrium Logic and Answer Set Programming: the Propositional CaseAuthorship / preprint / 2010PaperEquilibria und weiteres Heiteres IIAuthorship / preprint / 2012PaperEquilibria und weiteres HeiteresAuthorship / preprint / 2011PaperInterpolable Formulas in Equilibrium Logic and Answer Set ProgrammingAuthorship / preprint / 2014PaperThe Attack as Strong Negation, Part IAuthorship / preprint / 2015PaperThe Attack as Intuitionistic NegationAuthorship / preprint / 2015

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)