The following pages link to Dov M. Gabbay (Q232653):
Displaying 50 items.
- (Q197051) (redirect page) (← links)
- Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system] (Q383047) (← links)
- Semantics and proof-theory of depth bounded Boolean logics (Q385021) (← links)
- (Q472805) (redirect page) (← links)
- Products of modal logics and tensor products of modal algebras (Q472808) (← links)
- Probabilistic argumentation: an equational approach (Q497876) (← links)
- Theory of semi-instantiation in abstract argumentation (Q528522) (← links)
- Reactive intuitionistic tableaux (Q542126) (← links)
- Reactive automata (Q716325) (← links)
- Quantification in nonclassical logic. Volume I. (Q731484) (← links)
- Applications of Scott's notion of consequence to the study of general binary intensional connectives and entailment (Q758994) (← links)
- Cut and pay (Q851192) (← links)
- Connectionist modal logic: representing modalities in neural networks (Q870254) (← links)
- Fuzzy logics based on \([0,1)\)-continuous uninorms (Q884954) (← links)
- Equilibrium states in numerical argumentation networks (Q895825) (← links)
- Resource-origins of nonmonotonicity (Q934827) (← links)
- A comment on work by Booth and co-authors (Q969423) (← links)
- Independence -- revision and defaults (Q1037604) (← links)
- Voting by eliminating quantifiers (Q1037605) (← links)
- Fibred security language (Q1037607) (← links)
- Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction (Q1037610) (← links)
- A meta-model of access control in a fibred security language (Q1037612) (← links)
- Preservation of expressive completeness in temporal models (Q1090324) (← links)
- Semantical investigations in Heyting's intuitionistic logic (Q1148885) (← links)
- A family of goal directed theorem provers based on conjunction and implication. I (Q1181711) (← links)
- The decision problem for some finite extensions of the intuitionistic theory of abelian groups (Q1217798) (← links)
- On some new intuitionistic propositional connectives. I (Q1240220) (← links)
- On Kreisel's notion of validity in Post systems (Q1240221) (← links)
- Investigations in modal and tense logics with applications to problems in philosophy and linguistics (Q1245214) (← links)
- Adding a temporal dimension to a logic system (Q1314287) (← links)
- Towards automating duality (Q1343394) (← links)
- A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics (Q1344886) (← links)
- Introduction to the special issue on combining logics I (Q1370454) (← links)
- Grafting modalities onto substructural implication systems (Q1370459) (← links)
- Labelled resolution for classical and non-classical logics (Q1372359) (← links)
- Many-dimensional modal logics: theory and applications (Q1422049) (← links)
- Algorithmic proof methods and cut elimination for implicational logics. I: Modal implication (Q1580655) (← links)
- On modal logics characterized by models with relative accessibility relations. I (Q1591337) (← links)
- On modal logics characterized by models with relative accessibility relations. II (Q1595920) (← links)
- A theory of hypermodal logics: Mode shifting in modal logic (Q1610618) (← links)
- Analytic calculi for product logics (Q1762728) (← links)
- Combining temporal logic systems (Q1815427) (← links)
- Decidability results in non-classical logic. III: Systems with statability operators (Q1846859) (← links)
- Products of modal logics. III. Products of modal and temporal logics (Q1863827) (← links)
- Language and proof theory. Preface to the special issue on ``Proof theory and natural language'' (Q1923834) (← links)
- Fibred semantics for feature-based grammar logic (Q1923842) (← links)
- Completeness theorems for reactive modal logics (Q1935589) (← links)
- Introducing reactive modal tableaux (Q1935590) (← links)
- Causal dynamic inference (Q1935591) (← links)
- Overview on the connection between reactive Kripke models and argumentation networks (Q1935592) (← links)
